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. Prereqs., ECEN 2703 and general proficiency in discrete mathematics and programming.