Mashnoor, N., Kamali, H., & Azar, K. (2026). From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation.
Chicago-Zitierstil (17. Ausg.)Mashnoor, Nowfel, Hadi Kamali, und Kimia Azar. From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation. 2026.
MLA-Zitierstil (9. Ausg.)Mashnoor, Nowfel, et al. From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.