Publication
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 )