The DESIRE methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation.

Christian Seifert, Christian Steger, Tiberio Fanti

Browse the full MODELS paper archive.