open-source-silicon.dev

<https://github.com/The-OpenROAD-Project/OpenLane/pull/1698|#1698 Enhance Synthesis Exit Checks>
Pull request opened by <https://github.com/kareefardi|kareefardi>
~ In `yosys`, call `check -assert` at the correct stage. This requires expanding `yosys` built-in command `synth` to its original sub-commands found in <https://github.com/YosysHQ/yosys/blob/master/techlibs/common/synth.cc|https://github.com/YosysHQ/yosys/blob/master/techlibs/common/synth.cc> and inject `check -assert` in the middle of the expanded command. Experimentally, this was the only way to properly capture used wires that do not have a driver.

Additional synthesis checkers guarded with `QUIT_ON_SYNTH_CHECKS`:  
+ Add `check_latches`  
+ Add `check_out_of_bound`  
+ Add `check_resizing_cell_port`

~ Fix a "resizing cell port" error in `APU` design  
~ Fix a "used but has no driver" error in `tests/912`
<https://github.com/The-OpenROAD-Project/OpenLane|The-OpenROAD-Project/OpenLane>
:white_check_mark: All checks have passed
26/26 successful checks

<https://github.com/The-OpenROAD-Project/OpenLane/pull/1698|#1698 Enhance Quit on synth checks>
Pull request ready for review by <https://github.com/kareefardi|kareefardi>
<https://github.com/The-OpenROAD-Project/OpenLane|The-OpenROAD-Project/OpenLane>

<https://github.com/The-OpenROAD-Project/OpenLane/pull/1698|#1698 Enhance Synthesis Exit Checks>
Pull request merged by <https://github.com/donn|donn>
<https://github.com/The-OpenROAD-Project/OpenLane|The-OpenROAD-Project/OpenLane>