mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-30 19:22:31 +00:00
Code Activity
yosys/tests/verific
History
N. Engelhardt 833b67af80 verific: import attributes on ports 
Co-authored-by: Miodrag Milanović <mmicko@gmail.com>
2023-10-20 18:31:41 +02:00
..
.gitignore
case.sv
case.ys
enum_values.sv verific: Fix enum_values support and signed attribute values 2023-03-15 09:51:36 +01:00
enum_values.ys verific: Fix enum_values support and signed attribute values 2023-03-15 09:51:36 +01:00
memory_semantics.ys verific: import attributes on ports 2023-10-20 18:31:41 +02:00
range_case.sv Added ranged case check 2023-02-27 09:24:04 +01:00
range_case.ys Added ranged case check 2023-02-27 09:24:04 +01:00
rom_case.ys verific: import attributes on ports 2023-10-20 18:31:41 +02:00
run-test.sh