Constraint-based platform variants specification for early system verification

Resource type: Conference
Author(s): Burger, Andreas and Viehl, Alexander and Braun, Andreas and Haedicke, Finn and Grose, Daniel and Bringmann, Oliver and Rosenstiel, Wolfgang
Year: 2014
Pages: 800--805
Book title: Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific
Organization: IEEE
Download .bib: Download .bib
Published by: Alexander Viehl