مؤتمر
Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq
| العنوان: | Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq |
|---|---|
| المؤلفون: | Strauch, Tobias |
| المصدر: | 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) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9783981926385 |
|---|---|
| تدمد: | 15581101 |