|
aiger
|
tests: aiger test for wire->start_offset != 0
|
2020-05-02 10:00:32 -07:00 |
|
arch
|
Replace opt_rmdff with opt_dff.
|
2020-08-07 13:21:03 +02:00 |
|
fsm
|
tests: fsm to use a randomly-generated seed
|
2020-04-24 14:31:33 -07:00 |
|
lut
|
Forgot to commit
|
2019-07-16 12:44:26 -07:00 |
|
memfile
|
Added 'set -e' into tests/memfile/run-test.sh
|
2020-02-06 10:45:40 -03:00 |
|
opt
|
Add opt_dff pass.
|
2020-07-30 18:27:04 +02:00 |
|
opt_share
|
Support various binary operators in opt_share
|
2019-08-04 19:06:38 +02:00 |
|
proc
|
proc_clean: fix order of switch insertion.
|
2019-08-19 16:44:23 +00:00 |
|
sat
|
satgen: Add support for dffe, sdff, sdffe, sdffce cells.
|
2020-07-24 03:19:21 +02:00 |
|
simple
|
Allow %0s $display format specifier
|
2020-08-09 17:19:49 -04:00 |
|
simple_abc9
|
abc9: test to use box file instead of auto
|
2020-05-14 10:33:56 -07:00 |
|
svtypes
|
static cast: add tests
|
2020-06-19 17:40:38 -07:00 |
|
techmap
|
Add dffunmap pass.
|
2020-07-31 00:59:51 +02:00 |
|
tools
|
Replace opt_rmdff with opt_dff.
|
2020-08-07 13:21:03 +02:00 |