(1 - 14 von 14
)
MBMV 2017
www.informatik.uni-bremen.de
Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” ... Patrick Sittel, Martin Kumm, Konrad Möller, Martin Hardieck and Peter Zipf High-Level Synthesis for Model-Based Design with Automatic Folding including Combined Common Subcircuits:
FG RSS-VERIFY - Gesellschaft für Informatik eVfg-rss-verify.gi.de › veranstaltung › methoden-und-beschreibungssprachen...
fg-rss-verify.gi.de
Universität Ulm; Patrick Sittel, Thomas Schönwälder, Martin Kumm and Peter Zipf ScaLP: A Light-Weighted (MI)LP-Library Universität Kassel. 17: :10.
sortiert nach Relevanz / Datum