addressed
logic synthesis techniques for engineering change problems [6].
Perkowski, "
Logic synthesis of reversible wave cascades," in Proceedings of 11th IEEE International Workshop on
Logic Synthesis, pp.
In the past, BDDs have significantly improved the performance of algorithms and enabled the solution of new classes of problems in areas such as formal verification and
logic synthesis (see, for example, Burch et al.
Synplicity, Inc., Sunnyvale, Calif., a supplier of
logic synthesis, physical synthesis and verification software has announced that its Synplify(R) and Synplify Pro
logic synthesis products include full support for the recently announced Xilinx(R) (Nasdaq:XLNX) Virtex(TM)-II FPGA architecture.
Antrim says it is attempting to take the mystery out of mixed signal design, something
logic synthesis tools did in the digital design world back in the late 1980s.
One if the most exciting areas of CAE is in
logic synthesis. The first elements of synthesis were seen in creating standard cell layout from schematics, describing the cells and their interconnection.
The benchmarks available under this project are Module Generation (Physical DA Workshop, 1989), Place and Route (Physical DA Workshop, 1987; MCNC Workshop, 1988),
Logic Synthesis (MCNC Workshop, 1987, 1989), Symbolic Layout and Compaction (MCNC Workshop, 1986), Test Generation, combined logic (ISCAS, 1985), Test Generation, sequential logic (ISCAS, 1989), and High Level Synthesis (SIDGA Workshop, 1989, currently under development).
Methods of reversible
logic synthesis are quite different compared to traditional irreversible technologies [7-17].
Yang,
Logic Synthesis and Optimization Benchmarks User Guide: Version 3.0, Microelectronics Center of North Carolina (MCNC), 1991.
In [2], a 64-bit carry-select design case is presented, where the prediction
logic synthesis a priori assumes that single-cycle latency occurs when the carry propagation chain is shorter than 32 bits.