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

Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie. Specification-driven automated conformance checking for virtual prototype and post-silicon designs. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018. ACM, 2018. [doi]

Authors

Haifeng Gu

This author has not been identified. Look up 'Haifeng Gu' in Google

Mingsong Chen

This author has not been identified. Look up 'Mingsong Chen' in Google

Tongquan Wei

This author has not been identified. Look up 'Tongquan Wei' in Google

Li Lei

This author has not been identified. Look up 'Li Lei' in Google

Fei Xie

This author has not been identified. Look up 'Fei Xie' in Google