Conference
FormalHandshake — Open Source Design and Verification Flow for Complex Hardware Circuits: Tool Paper
| Τίτλος: | FormalHandshake — Open Source Design and Verification Flow for Complex Hardware Circuits: Tool Paper |
|---|---|
| Συγγραφείς: | Funck, Milan, Luth, Christoph, Drechsler, Rolf |
| Πηγή: | 2026 Forum on Specification & Design Languages (FDL) Specification & Design Languages (FDL), 2026 Forum on. :1-7 Sep, 2026 |
| Relation: | 2026 Forum on Specification & Design Languages (FDL) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798319539977 9798319539984 |
|---|---|
| ISSN: | 16369874 |
| DOI: | 10.1109/FDL71572.2026.11724700 |