Hardware Description and Verification

Useful Links

Sources of further information relevant to the course:

VHDL: The Electronic Design Automation industry: PSL: Formal Methods (survey papers)
  • E.M Clarke & J.M Wing Formal Methods: State of the Art and Future Directions
  • Prasad, Biere and Gupta A Survey of Recent Advances in SAT-Based Formal Verification
  • BDDs and Model Checking: Relevant Conferences and Workshops:
    [ Home | News | Schedule | Literature | Assignments | Tools | Links | Course ] TH, MS, EA, JS, March 2010