APA (7th ed.) Citation

Zhang, S., Olmos, B., & Naik, B. (2024). Automated Formal Verification of a Highly-Configurable Register Generator.

Chicago Style (17th ed.) Citation

Zhang, Shuhang, Bryan Olmos, and Basavaraj Naik. Automated Formal Verification of a Highly-Configurable Register Generator. 2024.

MLA (9th ed.) Citation

Zhang, Shuhang, et al. Automated Formal Verification of a Highly-Configurable Register Generator. 2024.