|
add_sub.ys
|
Share common tests
|
2019-10-18 12:19:59 +02:00 |
|
adffs.ys
|
Replace opt_rmdff with opt_dff.
|
2020-08-07 13:21:03 +02:00 |
|
counter.ys
|
Call equiv_opt with -multiclock and -assert
|
2019-12-31 18:39:32 -08:00 |
|
dffs.ys
|
Replace opt_rmdff with opt_dff.
|
2020-08-07 13:21:03 +02:00 |
|
fsm.ys
|
Simplify breaking tests/arch/*/fsm.ys tests
|
2020-03-20 11:25:17 -07:00 |
|
latches.ys
|
Share common tests
|
2019-10-18 12:19:59 +02:00 |
|
logic.ys
|
Share common tests
|
2019-10-18 12:19:59 +02:00 |
|
lutram.ys
|
efinix: Use `memory_libmap` pass.
|
2022-05-18 17:32:56 +02:00 |
|
mux.ys
|
abc: remove -lut/-luts
|
2026-03-24 12:59:17 +00:00 |
|
run-test.sh
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
|
shifter.ys
|
Share common tests
|
2019-10-18 12:19:59 +02:00 |
|
tribuf.ys
|
Share common tests
|
2019-10-18 12:19:59 +02:00 |
3369cc525f