Compositional Verification Using a Formal Component and Interface Specification.

Yue Xing, Huaixi Lu, Aarti Gupta, Sharad Malik

Browse the full ICCAD paper archive.