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

assertpmux: Fix crash on unused $pmux output.

2021-02-22 23:30:28 +01:00

clk2fflogic.ys

More rigorous test

2020-01-16 09:15:42 -08:00

counters-repeat.v

…

counters-repeat.ys

…

counters.v

…

counters.ys

…

dff.ys

satgen: Add support for dffe, sdff, sdffe, sdffce cells.

2020-07-24 03:19:21 +02:00

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

Wire with init on FF part, 1'bx on non-FF part

2019-08-24 15:05:44 -07:00

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

tests: Centralize test collection and Makefile generation

2020-09-21 15:07:02 +02:00

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

…