This text constitutes the proceedings from the International Conference on Computer-Aided Design that took place in 2000. Topics covered include physical design and testing, synthesis and systems design, and verification, modelling and simulation.In fact, this structure can be readily obtained by a partial flattening of the circuit that stops at the first level of 256 AND gates whose ... switching functions, IEEE Trans, on Computer- Aided Design of Integrated Circuits and Systems, 10(4):436- 446, April 1991. ... 459-464, August 1995. ... Symmetry detection and dynamic variable ordering of decision diagrams. ... Therefore and yj must be symmetric in / * .
|Publisher||:||IEEE - 2000|