Publikation
Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler
In: 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, 2020.
towards_automatic_hardware_synthesis_from_formal_specification_to_implementation.pdf (pdf, 569 KB )
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023