Publikationen

Seite 56 von 58.

Finn Haedicke; Daniel Große; Rolf Drechsler
A Guiding Coverage Metric for Formal Verification
In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.
Stephan Eggersglüß; Rene Krenz-Baath; Andreas Glowatz; Friedrich Hapke; Rolf Drechsler
A New SAT-based ATPG for Generating Highly Compacted Test Sets
In: Proceedings. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-12), 15th, April 18-20, Tallinn, Estonia, IEEE, …
Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler
RevKit: An Open Source Toolkit for the Design of Reversible Circuits
In: Alexis De Vos; Robert Wille (Hrsg.). Reversible Computation - Third International Workshop, RC 2011. International Workshop on Reversible …
Rolf Drechsler; Robert Wille
Synthesis of Reversible Circuits Using Decision Diagramm
In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, …
Hoang M. Le; Daniel Große; Rolf Drechsler
From Requirements and Scenarios to ESL Design in System C
In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, …
Marcio F. S. Oliveira; Christoph Kuznik; Wolfgang Mueller; Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler; Wolfgang Ecker; Volkan Esen
The System Verification Methodology for Advanced TLM Verification
In: International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System …
Stefan Frehse; Görschwin Fey; Eli Arbel; Karen Yorav; Rolf Drechsler
Complete and Effective Robustness Checking by Means of Interpolation
In: Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012), October 22-25, Cambridge, England, United …
Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille
Completeness-Driven Development
In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling …
Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC
In: Proceedings of the International Symposium on System-on-Chip 2012. International Symposium on System-on-Chip (SoC-2012), October 11-12, Tampere, …
Marc Michael; Daniel Große; Rolf Drechsler
Localizing Features of ESL Models for Design Understanding
In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, …