Hardware Description and Verification TDA956, LP4, VT2008

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 | Schedule | Literature | Assignments | Tools | Links | Course M. Sheeran, E. Axelsson, J. Svensson, March 22, 2008