Dag Lem e0d3977e19 Add support for $dimensions and $unpacked_dimensions

2024-02-11 11:26:52 -05:00

..

.gitignore

Add test cases for co-simulation

2022-02-02 13:22:44 +01:00

alu.v

Add test cases for co-simulation

2022-02-02 13:22:44 +01:00

asserts_seq.v

…

asserts_seq.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

asserts.v

…

asserts.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

bug2595.ys

…

clk2fflogic.ys

…

counters-repeat.v

…

counters-repeat.ys

…

counters.v

…

counters.ys

…

dff.ys

…

expose_dff.v

…

expose_dff.ys

…

grom_computer.v

Add test cases for co-simulation

2022-02-02 13:22:44 +01:00

grom_cpu.v

Proper example code

2022-03-14 15:39:11 +01:00

grom.ys

bug fix and cleanups

2022-02-04 10:01:06 +01:00

initval.v

…

initval.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

ram_memory.v

Proper example code

2022-03-14 15:39:11 +01:00

run-test.sh

…

share.v

…

share.ys

…

sim_counter.ys

Add test cases for co-simulation

2022-02-02 13:22:44 +01:00

sizebits.sv

Add support for $dimensions and $unpacked_dimensions

2024-02-11 11:26:52 -05:00

sizebits.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

splice.v

…

splice.ys

…