Accurate dead code detection in embedded C code by arithmetic constraint solving : (extended abstract)

Accurate dead code detection in embedded C code by arithmetic constraint solving (extended abstract)

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (20. : 2017 : Bremen) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
1. Verfasser: Neubauer, Felix (VerfasserIn)
Weitere Verfasser: Scheibler, Karsten (VerfasserIn), Becker, Bernd (VerfasserIn), Mahdi, Ahmed (VerfasserIn), Fränzle, Martin (VerfasserIn), Teige, Tino (VerfasserIn), Bienmüller, Tom (VerfasserIn), Fehrer, Detlef (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2017
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Pre-silicon verification of an automotive battery management system in the context of the application 2017 Simon, Sebastian
High-level synthesis for model-based design with automatic folding including combined common subcircuits 2017 Sittel, Patrick
Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing 2017 Fröhlich, Saman
Optimization of a novel WLAN simulation framework for prototyping network applications and protocols 2017 Beichler, Benjamin
Accurate dead code detection in embedded C code by arithmetic constraint solving : (extended abstract) 2017 Neubauer, Felix
Redundancy-aware design space exploration for memory reliability in many-cores 2017 Aliee, Hananeh
Verifikation von Networked Labs-on-Chip Architekturen : (erweiterte Zusammenfassung) 2017 Grimmer, Andreas
OpenCL : design flow for high level synthesis and cross-platform portability 2017 Gudivada, Amrutansh
SystemC AMS based Co-simulation framework for cyber physical systems 2017 Purusothaman, Thiyagarajan
Extending affine arithmetic for formal verification of analog/mixed-signal systems 2017 Grimm, Christoph
Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips : (extended abstract) 2017 Schneider, Leonard
Counterexample-guided EF synthesis of Boolean functions 2017 Riener, Heinz
Towards timing and power analysis of FSM-SADFGs on MPSoCs with shared memory communication 2017 Stemmer, Ralf
A novel RTL ATPG model based on gate inherent faults of complex gates 2017 Strauch, Tobias
Sequential verification using reverse PDR 2017 Seufert, Tobias
Containing guardbands : from the Macro to Micro time domain 2017 Amrouch, Hussam
Speculative disassembly of binary code 2017 Ben Khadra, M. Ammar
Dynamic power optimization based on formal property checking of operations 2017 Udupi, Shrinidhi
Alle Artikel auflisten