MARCO Focus Center for Circuit System Solution / National Science Foundation / University of California / Berkeley / Department of Electrical and Computer Engineering / Portland State University / Portland / Department of Electrical Engineering and Computer Sciences / /
Person
Jerry R. Burch / Jin S. Zhang / Robert Brayton / R. I. Bahar / Alan Mishchenko / /
Position
Editor / /
ProvinceOrState
Manitoba / California / /
PublishedMedium
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS / /
TVStation
TFO / /
Technology
three algorithms / RAM / S&S-based algorithm / pureBDD-based algorithm / INTEGRATED CIRCUITS / corresponding S&S-based algorithms / proposed algorithm / pure BDD-based algorithm / Simulation / BDD-based algorithm / BDD-based resubstitution algorithms / Digital Object Identifier / SAT algorithms / be enumerated using simulation / /
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks