A. Reis, R. Drechsler. Advanced Logic Synthesis.
Springer; 2017 R. Drechsler. Formal System Verification: State-of the- Art and Future Trends. Springer, 2017. C. Unsalan, B. Tar. Digital System Design with FPGA: Implementation Using Verilog and VHDL. McGraw-Hill Education; 1 edition, 2017 J. Bhasker, R. Chadha. Static Timing Analysis for Nanometer Designs: A Practical Approach. Springer; 2013