University Catalog 2014-2015

University of Colorado Boulder

CSCI-5135 (3) Computer-Aided Verification

Covers two-level and multilevel minimization, optimization via expert systems, algebraic and Boolean decomposition, layout methodologies, state assignment, encoding and minimization, silicon compilation. Recommended prereqs., ECEN 2703 and general proficiency in discrete mathematics and programming. Same as ECEN 5139. Prerequisites: Restricted to graduate students only.