UT Dallas 2015 Graduate Catalog

CE7303 - Hardware Verification

CE 7303 Hardware Verification (3 semester credit 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 and CE 6303 and CE 6325. (3-0) Y