Towards Automatic Hardware Synthesis from Formal Specification to Implementation

@inproceedings{pub10702,
    author = {

Bornebusch, Fritjof
 and 

Lüth, Christoph
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Towards Automatic Hardware Synthesis from Formal Specification to Implementation},
    booktitle = {25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020), 25th, January 13-16, Beijing, China},
    year = {2020}
}