AutoSVA: Democratizing Formal Verification of RTL Module Interactions

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 05, 2021
Source ID
10.1109/dac18074.2021.9586118

Entities

People

  • Aninda Manocha
  • David Wentzlaff
  • Marcelo Orenes-vera
  • Margaret Martonosi

Organizations

  • Defense Advanced Research Projects Agency