Goerschwin Fey
Goerschwin Fey
Bestätigte E-Mail-Adresse bei tuhh.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
On acceleration of SAT-based ATPG for industrial designs
R Drechsler, S Eggergluss, G Fey, A Glowatz, F Hapke, J Schlöffel, D Tille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
1122008
Automatic fault localization for property checking
G Fey, S Staber, R Bloem, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
1022008
Advanced BDD optimization
R Ebendt, G Fey, R Drechsler
Springer Science & Business Media, 2005
952005
Synthesis of fully testable circuits from BDDs
R Drechsler, J Shi, G Fey
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
872004
Using unsatisfiable cores to debug multiple design errors
A Suelflow, G Fey, R Bloem, R Drechsler
Proceedings of the 18th ACM Great Lakes symposium on VLSI, 77-82, 2008
802008
PASSAT: Efficient SAT-based test pattern generation for industrial circuits
J Shi, G Fey, R Drechsler, A Glowatz, F Hapke, J Schloffel
IEEE computer society annual symposium on VLSI: new frontiers in VLSI Design …, 2005
732005
SWORD: A SAT like prover using word level information
R Wille, G Fey, D Große, S Eggersglüß, R Drechsler
VLSI-SoC: Advanced Topics on Systems on a Chip, 1-17, 2009
602009
Test pattern generation using Boolean proof engines
R Drechsler, S Eggersglüß, G Fey, D Tille
Springer Science & Business Media, 2009
572009
Automatic generation of complex properties for hardware designs
F Rogin, T Klotz, G Fey, R Drechsler, S Rulke
2008 Design, Automation and Test in Europe, 545-548, 2008
542008
ParSyC: an efficient SystemC parser
G Fey, D Große, T Cassens, C Genz, T Warode, R Drechsler
In Workshop on Synthesis And System Integration of Mixed Information …, 2004
502004
WoLFram-a word level framework for formal verification
A Sülflow, U Kühne, G Fey, D Grosse, R Drechsler
2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 11-17, 2009
462009
Cost-efficient block verification for a UMTS up-link chip-rate coprocessor
K Winkelmann, HJ Trylus, D Stoffel, G Fey
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004
442004
Minimizing the number of paths in BDDs: Theory and algorithm
G Fey, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated circuits and …, 2005
432005
A basis for formal robustness checking
G Fey, R Drechsler
9th International Symposium on Quality Electronic Design (isqed 2008), 784-789, 2008
412008
metaSMT: Focus on Your Application not on Solver Integration.
F Haedicke, S Frehse, G Fey, D Große, R Drechsler
DIFTS@ FMCAD, 2011
372011
SyCE: An integrated environment for system design in SystemC
R Drechsler, G Fey, C Genz, D Große
16th IEEE International Workshop on Rapid System Prototyping (RSP'05), 258-260, 2005
352005
OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft
D Lüdtke, K Westerdorff, K Stohlmann, A Börner, O Maibaum, T Peng, ...
2014 IEEE Aerospace Conference, 1-13, 2014
332014
Effective robustness analysis using bounded model checking techniques
G Fey, A Sulflow, S Frehse, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011
332011
Computing bounds for fault tolerance using formal techniques
G Fey, A Sulflow, R Drechsler
2009 46th ACM/IEEE Design Automation Conference, 190-195, 2009
322009
Increasing the accuracy of SAT-based debugging
A Sulflow, G Fey, C Braunstein, U Kuhne, R Drechsler
2009 Design, Automation & Test in Europe Conference & Exhibition, 1326-1331, 2009
322009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20