Martin Povišer 1f1f43edd9 equiv_simple: Fix seed handling in non-short mode		2023-10-03 13:05:42 +02:00
..
cmds	dft_tag: Fix size extending $x[n]or and $reduce_{or,bool}/$logic_not	2023-09-28 17:33:55 +02:00
equiv	equiv_simple: Fix seed handling in non-short mode	2023-10-03 13:05:42 +02:00
fsm
hierarchy
memory	memlib.md: Fix typo	2023-09-04 17:38:35 +02:00
opt	dft_tag: Implement $overwrite_tag and $original_tag	2023-09-13 11:32:36 +02:00
pmgen
proc
sat	sim: Add -noinitstate option and handle non-cosim initstate	2023-09-28 17:29:24 +02:00
techmap	Revert changes to techmap.cc.	2023-10-02 17:32:56 +01:00
tests