CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper) : 20th International conference on software engineering and formal methods
In: Lecture notes in computer science 13550:324-334; Jg. 13550 (2022) S. 324-334
Konferenz
Zugriff:
Titel: |
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper) : 20th International conference on software engineering and formal methods
|
---|---|
Autor/in / Beteiligte Person: | Yu, Shizhen ; Dong, Yifan ; Liu, Jiuyang ; Li, Yong ; Wu, Zhilin ; Jansen, David N. ; Zhang, Lijun |
Link: | |
Quelle: | Lecture notes in computer science 13550:324-334; Jg. 13550 (2022) S. 324-334 |
Veröffentlichung: | 2022 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|