1. Synopsys;VC Formal Verification User Guide Design Compiler User Guide,2011
2. Synopsys;VC Formal Verification User Guide Design Compiler Optimization Reference Manual,2011
3. Xilinx;Vivado Design Suite User Guide Synthesis (UG901),2021
4. Intel;Intel Quartus Prime Pro Edition User Guide Design Recommendations,2021