Scalable Hardware-Software Co-Verification through Linux Driver Reuse: Methodology Validated on USB4 and xHCI Host Controllers

Suchir Gupta, Amit Sharma, Suneetha Suryadevara, Vishnuvardhan Reddy. Scalable Hardware-Software Co-Verification through Linux Driver Reuse: Methodology Validated on USB4 and xHCI Host Controllers. In 27th International Symposium on Quality Electronic Design, ISQED 2026, San Francisco, CA, USA, April 8-10, 2026. pages 1-8, IEEE, 2026. [doi]

Abstract

Abstract is missing.