Clifford Wolf cb7dbf4070 Improvements in assertpmux

2016-09-07 12:42:16 +02:00

..

cmds

Added "tee +INT -INT"

2016-09-06 17:43:24 +02:00

equiv

Added "yosys -D" feature

2016-04-21 23:28:37 +02:00

fsm

Minor bugfix in FSM reset state detection

2016-07-12 09:46:15 +02:00

hierarchy

Removed $predict again

2016-08-28 21:35:33 +02:00

memory

Fixed handling of transparent bram rd ports on ROMs

2016-08-27 17:06:22 +02:00

opt

Improved init spec handling in opt_rmdff, modernized the code a bit

2016-08-30 01:34:04 +02:00

proc

Added "proc_mux -ifx"

2016-06-06 17:15:50 +02:00

sat

Improvements in assertpmux

2016-09-07 12:42:16 +02:00

techmap

Fixed some compiler warnings in attrmap command

2016-08-10 13:44:08 +02:00

tests

Removed $predict again

2016-08-28 21:35:33 +02:00