View Document Preview and Link Document Date: 2006-05-08 11:02:36 Open Document File Size: 385,33 KB Share Result on Facebook
City San Francisco / / Company CNF / ABC / Altera / AIG / Intel / / Country United States / / Currency USD / / / Facility Microelectronics Center / ECE Portland State University / University of Michigan / / IndustryTerm symmetry / symmetry detection algorithm / circuit-based symmetry detection algorithm / search algorithm / / Organization National Science Foundation / UC Berkeley / University of Michigan / Department of ECE Portland State University Portland / Microelectronics Center of North Carolina / / Person Jerry Burch / A. Kuehlmann / V / / ProvinceOrState Oregon / North Carolina / California / Michigan / / TVStation TFO / / Technology RAM / symmetry detection algorithm / proposed algorithm / 3 SYMMETRY DETECTION ALGORITHM / search algorithm / BDD-based symmetry detection algorithm / 3.1 Algorithm / http / b14 b15 pj2 pj3 s15850 s38417 Proposed CSSS algorithm / automorphism-based algorithm / BDD-based algorithm / Simulation / html / circuit-based symmetry detection algorithm / Terms Algorithms / pdf / CAD / be detected using random simulation / / URL http / SocialTag 
Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE