Lisa Piper

• SystemVerilog assertions handbook : for dynamic and formal verification
• Bullyproof
• Mile below Paradise