APA (7th ed.) Citation

Orenes-Vera, M., Martonosi, M., & Wentzlaff, D. (2023). Using LLMs to Facilitate Formal Verification of RTL.

Chicago Style (17th ed.) Citation

Orenes-Vera, Marcelo, Margaret Martonosi, and David Wentzlaff. Using LLMs to Facilitate Formal Verification of RTL. 2023.

MLA (9th ed.) Citation

Orenes-Vera, Marcelo, et al. Using LLMs to Facilitate Formal Verification of RTL. 2023.