'Lexsat rec' presentation slideshows

SAT-based Methods: Logic Synthesis and Technology Mapping

SAT-based Methods: Logic Synthesis and Technology Mapping. Alan Mishchenko Robert Brayton Department of EECS UC Berkeley. Overview. Understanding a SAT solver SAT-based ISOP computation SAT-based technology mapping Structural Functional SAT vs. other computation engines

304 views • 27 slides