UT Dallas 2013 Graduate Catalog

CE7303 - Hardware Verification

CE 7303 Hardware Verification (3 semester hours) This course deals with advanced issues related to the formal verification of complex digital systems. Topics include Binary Decision Diagrams (BDDs) and their application to representation and verification of digital systems, use of abstraction and rigorous analysis methods to solve complicated design problems, etc. Prerequisites: CE 6301, CE 6303, and CE 6325. (3-0) Y