Add -no_sat and -init_registers synth options #3882
Annotations
1 error
Production
Process completed with exit code 2.
|
Loading