Treffer: Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq
Title:
Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq
Authors:
Source:
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024
Relation:
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Database:
IEEE Xplore Digital Library