|Catalog Data||ECEN 5139 (3). Formal Verification of VLSI Systems. Covers two-level and multilevel minimization, optimization via expert systems, algebraic and Boolean decomposition, layout methodologies, state assignment, encoding and minimization, silicon compilation.|
|Credits and Design||3 credit hours. Elective course.|
ECEN 2703, Discrete Mathematics,|
and general proficiency in discrete mathematics and programming.
|Course Objectives||Automatic synthesis is a key tool in the development of VLSI systems and the knowledge of its techniques and applications has become vital for circuit and systems designers. Students who take this course learn how to use and write synthesis and verification tools.|
Last revised: 08-02-11, PM, ARP.