Publications

2 results at DAC 1980

Verifying deep logic hierarchies with ALEX
- - George M. Koppelman
  - Klim Maling
- 1980
- DAC 1980
A new look at logic synthesis
- - John A. Darringer
  - William H. Joyner
- 1980
- DAC 1980

Verifying deep logic hierarchies with ALEX