Design verification based on functional abstraction.

Sany M. Leinwand, T. Lamdan

Browse the full DAC paper archive.