Skip to content

Add -no_sat and -init_registers synth options (#825) #3902

Add -no_sat and -init_registers synth options (#825)

Add -no_sat and -init_registers synth options (#825) #3902