SystemVerilog assertions handbook : for dynamic and formal verification by Ben & Rhoda Lederer Cohen | Menrva Books | MenrvaBooks