As Semiconductor products evolve into highly complex systems-on-chip (SoCs), verification has emerged as the most time-consuming and risk-sensitive phase of the VLSI (Very Large Scale Integration) design cycle. Modern SoCs integrate processors, accelerators, memories, interconnects, and multiple interfaces operating across different clock and power domains. While individual blocks may be https://franciscotpgar.scrappingwiki.com/2100237/logic_synthesis_as_the_bridge_between_rtl_design_and_silicon_implementation