I'd like to know how people here do their post synthesis netlist
checks, besides formal and functional verfication. I have a simle
synopsys "check_design" run after doing scan routing and perform a
range of grep's to see if there are 'b0/'b1-s in the netlist, or
assign statements and that kind of not-so-nice stuff.
Do you have more fancy (but free) ways to check?
