Comparing Layouts with HDL Models: A Formal Verification Technique.

Timothy Kam, P. A. Subrahmanyam

Browse the full ICCD paper archive.