Akash Levy 6795c32167 Make scopeinfo not default		2024-06-19 04:05:02 -07:00
..
cmds	Smallfix	2024-06-17 20:04:38 -07:00
equiv	equiv_simple: Take FFs into account for driver map	2024-02-21 12:05:52 +01:00
fsm	add option to fsm_detect to ignore self-resetting	2023-01-30 16:12:53 +01:00
hierarchy	Update Verific, add opt to hierarchy pass, make opt run a bunch of Verific optimizations, update some Verific runtime flags	2024-05-27 21:56:08 -07:00
memory	memory_map: Explain -iattr better	2024-03-06 15:15:37 +01:00
opt	Add better Yosys/Verific name aliasing and reenable dffe opt	2024-06-15 14:18:33 -07:00
pmgen	Typo fixup(s)	2024-03-18 11:09:23 +13:00
proc	Merge pull request #4218 from kivikakk/proc_rom-actionless-switch	2024-02-19 16:21:40 +01:00
sat	formalff -setundef: Fix handling for has_srst FFs	2024-04-15 11:53:30 +02:00
techmap	Make scopeinfo not default	2024-06-19 04:05:02 -07:00
tests	Add $bmux and $demux cells.	2022-01-28 23:34:41 +01:00