Specification-driven automated conformance checking for virtual prototype and post-silicon designs.

Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie

Browse the full DAC paper archive.