Constraint-Based Platform Variants Specification for Early System Verification

by Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, and Wolfgang Rosenstiel
In 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 800–805. IEEE, 2014.