'Resubstitution function' 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

428 views • 39 slides

409 views • 26 slides