FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits

@inproceedings{pub17665,
    author = {



Funck, Milan
 and 



Lüth, Christoph
 and 



Drechsler, Rolf
},
    title = {FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits},
    booktitle = {Forum on specification & Design Languages (FDL). 

Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy
},
    year = {2026}
}