Akash Levy 2ae7490adf Disable Verific blackbox checks (different from our preferred approach)		2025-01-21 05:46:40 -08:00
..
aiger
alumacc	macc: Stop using the B port	2025-01-08 13:03:35 +01:00
arch	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
asicworld
bind
blif	Changed boolopt naming	2025-01-16 19:36:27 -08:00
bram
cxxrtl
errors
fmt
fsm
functional
hana
liberty
lut
memfile
memlib
memories
opt	Use equiv_opt -nocells to ensure everything is ok since dffs retain their name	2025-01-16 19:40:18 -08:00
opt_share
peepopt	muxadd and muldiv_c peepopt	2025-01-15 16:57:19 -08:00
proc	Merge pull request #4714 from georgerennie/george/proc_dff_bug_multiple_sigs	2024-11-20 13:26:32 +01:00
realmath
rpc
sat	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
select
share
sim	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
simple
simple_abc9
smv
sva
svinterfaces
svtypes	Sync	2024-12-19 21:40:30 -08:00
techmap	Use equiv_opt -nocells to ensure everything is ok since dffs retain their name	2025-01-16 19:40:18 -08:00
tools
unit
various	opt_clean was removing the unused bits annotation	2025-01-16 19:48:31 -08:00
verific	Disable Verific blackbox checks (different from our preferred approach)	2025-01-21 05:46:40 -08:00
verilog	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
vloghtb
xprop
gen-tests-makefile.sh	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00