Adding fix for EDA-3287 and EDA-3307#811

awaisabbas006 merged 1 commit intoos-fpga:mainos-fpga/yosys_verific_rs:mainfrom

awaisabbas006:mainawaisabbas006/yosys_verific_rs:mainCopy head branch name to clipboard