CSCI 5135 - Computer-Aided Verification Course uri icon

Overview

description

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

instructor(s)

  • Somenzi, Fabio  
    Primary Instructor - Fall 2019 / Fall 2020 / Fall 2021 / Fall 2022 / Fall 2023 / Fall 2024