1. 0-In Design Automation, Inc. (2002). Assertion-based verification for complex designs. The Verification Monitor.
2. Accellera (2004). Proposed Standard Property Specification Language (PSL) 1.1.
3. Axis Systems (2002). Assertion processor.
4. Beatty, D.L. (1993). A Methodology for Formal Hardware Verification with Application to Microprocessors. PhD thesis, Carnegie Mellon University, School of Computer Science.
5. Bergeron, J. (2000). Writing Testbenches Functional Verification of HDL Models. Kluwer Academic Publishers.