HOME       UP       PREV       NEXT (Formal Techniques)  

Formal Methods and Assertion-Based Design

Topics: Declarative expression. Temporal Logic. PSL. Assertion Synthesis to H/W Monitors. Stimulus generation.

images/WindowsAssertionReport.png
1: (C) 2008-18, DJ Greaves, University of Cambridge, Computer Laboratory.