mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-25 17:04:37 +00:00
Code Activity
yosys/tests/verific
History
Akash Levy 285c8a3f66
Merge branch 'YosysHQ:main' into main
2024-09-12 11:14:15 -07:00
..
.gitignore Add test example 2023-02-27 09:24:04 +01:00
bounds.vhd Add left and right bound properties to wire. Add test. Fix printing 2024-09-10 12:52:42 +02:00
bounds.ys Add left and right bound properties to wire. Add test. Fix printing 2024-09-10 12:52:42 +02:00
case.sv Add test example 2023-02-27 09:24:04 +01:00
case.ys Updates for hiding verific 2024-04-09 07:16:22 -07:00
clocking.ys Updates for hiding verific 2024-04-09 07:16:22 -07:00
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 Updates for hiding verific 2024-04-09 07:16:22 -07:00
range_case.sv Added ranged case check 2023-02-27 09:24:04 +01:00
range_case.ys Updates for hiding verific 2024-04-09 07:16:22 -07:00
rom_case.ys.fail Updates for hiding verific 2024-04-09 07:16:22 -07:00
run-test.sh Add test example 2023-02-27 09:24:04 +01:00