Combinational Verification based on High-Level Functional Specifications.

Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton

Browse the full DATE paper archive.