'Run combinational sat sweeping' presentation slideshows

The Synergy between Logic Synthesis and Equivalence Checking

The Synergy between Logic Synthesis and Equivalence Checking. R. Brayton UC Berkeley. Thanks to SRC, NSF, and industrial sponsors, Actel, Altera, Calypto, Intel, Magma, Synplicity, Synopsys, Xilinx. Outline. Mostly emphasize synthesis Look at the operations of classical logic synthesis

452 views • 39 slides