Publications

Verifying deep logic hierarchies with ALEX

• • George M. Koppelman
  • Klim Maling
• 1980
• DAC 1980