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
Fax: +49 631 20575 5030
© DFKI, 2022