Skip to content

Add -no_sat and -init_registers synth options #3900

Add -no_sat and -init_registers synth options

Add -no_sat and -init_registers synth options #3900