Prof. Rolf Drechsler

Weitere Informationen:

AG Rechnerarchitektur & Zuverlässige Eingebettete Systeme; DFKI Cyber Physical Systems

Ökosystem

Mitglied des Direktoriums des Wissenschaftsschwerpunkts "Minds, Media, Machines"

Leiter der Arbeitsgruppe Rechnerarchitektur

Direktor der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI)

Mitgründer und Sprecher des Data Science Center (DSC) an der Universität Bremen

Dekan des Fachbereichs 3 Mathematik/Informatik

Betreuer für das Graduiertenkolleg „CAUSE“

Mitglied des CoAI JRC Joint Research Center on Cooperative and Cognition enabled AI

Mitglied des Direktoriums des Forschungscluster "Logdynamics"

Publikationen

2008 // Conference paper

Adaptive branch and bound using SAT to estimate false crosstalk

Proceedings of the 9th International Symposium on Quality Electronic Design, ISQED 2008

Palla, M.; Bargfrede, J.; Koch, K.; Anheier, W.; Drechsler, R.

https://doi.org/10.1109/ISQED.2008.4479787

2008 // Book

An integrated SystemC debugging environment

Lecture Notes in Electrical Engineering

Rogin, F.; Genz, C.; Drechsler, R.; Rülke, S.

https://doi.org/10.1007/978-1-4020-8297-9_5

2008 // Journal article

Analyzing functional coverage in bounded model checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Große, D.; Kühne, U.; Drechsler, R.

https://doi.org/10.1109/TCAD.2008.925790

2008 // Journal article

Automatic fault localization for property checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Fey, G.; Staber, S.; Bloem, R.; Drechsler, R.

https://doi.org/10.1109/TCAD.2008.923234

2008 // Conference paper

Automatic generation of complex properties for hardware designs

Proceedings -Design, Automation and Test in Europe, DATE

Rogin, F.; Klotz, T.; Fey, G.; Drechsler, R.; Rülke, S.

https://doi.org/10.1109/DATE.2008.4484908

2008 // Conference paper

Comparative study by solving the test compaction problem

Proceedings of The International Symposium on Multiple-Valued Logic

Logofǎtu, D.; Drechsler, R.

https://doi.org/10.1109/ISMVL.2008.17

2008 // Conference paper

Contradiction analysis for constraint-based random simulation

Proceedings - 2008 Forum on Specification, Verification and Design Languages, FDL'08

Große, D.; Wille, R.; Siegmund, R.; Drechsler, R.

https://doi.org/10.1109/FDL.2008.4641434

2008 // Conference paper

Exact synthesis of elementary quantum gate circuits for reversible functions with don't cares

Proceedings of The International Symposium on Multiple-Valued Logic

Große, D.; Wille, R.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/ISMVL.2008.42

2008 // Conference paper

Identifying a subset of systemverilog assertions for efficient bounded model checking

Proceedings - 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008

Wille, R.; Fey, G.; Messing, M.; Angst, G.; Linhard, L.; Drechsler, R.

https://doi.org/10.1109/DSD.2008.53

2008 // Conference paper

Incremnental SAT instance generation for SAT-based ATPG

Proceedings - 2008 IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, DDECS

Tille, D.; Drechsler, R.

https://doi.org/10.1109/DDECS.2008.4538759

2008 // Book

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Giacobini, M.; Di Caro, G.A.; Esparcia-Alcázar, A.I.; McCormack, J.; Rothlauf, F.; Yang, S.; Brabazon, A.; Drechsler, R.; Farooq, M.; O'Neill, M.; Squillero, G.; Cagnoni, S.; Ekárt, A.; Fink, A.; Romero, J.; Uyar, A.S.

http://www.scopus.com/inward/record.url?eid=2-s2.0-47249128141&partnerID=MN8TOARS

2008 // Journal article

Logic minimization and testability of 2-SPP networks

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Bernasconi, A.; Ciriani, V.; Drechsler, R.; Villa, T.

https://doi.org/10.1109/TCAD.2008.923072

2008 // Book

Measuring the quality of a SystemC testbench by using code coverage techniques

Lecture Notes in Electrical Engineering

Große, D.; Peraza, H.; Klingauf, W.; Drechsler, R.

https://doi.org/10.1007/978-1-4020-8297-9_6

2008 // Journal article

Modeling and proving functional completeness in formal verification of counting heads

International Journal on Software Tools for Technology Transfer

Kinder, S.; Drechsler, R.

https://doi.org/10.1007/s10009-008-0084-z

2008 // Journal article

On acceleration of SAT-based ATPG for industrial designs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Drechsler, R.; Eggersglüß, S.; Fey, G.; Glowatz, A.; Hapke, F.; Schloeffel, J.; Tille, D.

https://doi.org/10.1109/TCAD.2008.923107

2008 // Journal article

On the construction of small fully testable circuits with low depth

Microprocessors and Microsystems

Fey, G.; Bernasconi, A.; Ciriani, V.; Drechsler, R.

https://doi.org/10.1016/j.micpro.2008.03.005

2008 // Conference paper

On the influence of Boolean encodings in SAT-based ATPG for path delay faults

Proceedings of The International Symposium on Multiple-Valued Logic

Eggersglüß, S.; Drechsler, R.

https://doi.org/10.1109/ISMVL.2008.19

2008 // Conference paper

Process variations aware robust on-chip bus architecture synthesis for MPSoCs

Proceedings - IEEE International Symposium on Circuits and Systems

Pandey, S.; Drechsler, R.; Murgan, T.; Glesner, M.

https://doi.org/10.1109/ISCAS.2008.4542086

2008 // Conference paper

Property analysis and design understanding in a quality-driven bounded model checking flow

Proceedings - International Workshop on Microprocessor Test and Verification

Kühne, U.; Große, D.; Drechsler, R.

https://doi.org/10.1109/MTV.2008.17

2008 // Conference paper

RevLib: An online resource for reversible functions and reversible circuits

Proceedings of The International Symposium on Multiple-Valued Logic

Wille, R.; Große, D.; Teuber, L.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/ISMVL.2008.43

2008 // Conference paper

Robust on-chip bus architecture synthesis for MPSoCs under random tasks arrival

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Pandey, S.; Drechsler, R.

https://doi.org/10.1109/ASPDAC.2008.4484022

2008 // Book

Robustness and usability in modern design flows

Robustness and Usability in Modern Design Flows

Fey, G.; Drechsler, R.

https://doi.org/10.1007/978-1-4020-6536-1

2008 // Conference paper

Slack allocation based co-synthesis and optimization of bus and memory architectures for MPSoCs

Proceedings -Design, Automation and Test in Europe, DATE

Pandey, S.; Drechsler, R.

https://doi.org/10.1109/DATE.2008.4484687

2008 // Conference paper

Using higher levels of abstraction for solving optimization problems by Boolean Satisfiability

Proceedings - IEEE Computer Society Annual Symposium on VLSI: Trends in VLSI Technology and Design, ISVLSI 2008

Wille, R.; Große, D.; Soeken, M.; Drechsler, R.

https://doi.org/10.1109/ISVLSI.2008.82

2008 // Conference paper

Using unsatisfiable cores to debug multiple design errors

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI

Sülflow, A.; Fey, G.; Bloem, R.; Drechsler, R.

https://doi.org/10.1145/1366110.1366131

«‹28 / 39›»

Prof. Rolf Drechsler

Ökosystem

Publikationen

Adaptive branch and bound using SAT to estimate false crosstalk

An integrated SystemC debugging environment

Analyzing functional coverage in bounded model checking

Automatic fault localization for property checking

Automatic generation of complex properties for hardware designs

Comparative study by solving the test compaction problem

Contradiction analysis for constraint-based random simulation

Exact synthesis of elementary quantum gate circuits for reversible functions with don't cares

Identifying a subset of systemverilog assertions for efficient bounded model checking

Incremnental SAT instance generation for SAT-based ATPG

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Logic minimization and testability of 2-SPP networks

Measuring the quality of a SystemC testbench by using code coverage techniques

Modeling and proving functional completeness in formal verification of counting heads

On acceleration of SAT-based ATPG for industrial designs

On the construction of small fully testable circuits with low depth

On the influence of Boolean encodings in SAT-based ATPG for path delay faults

Process variations aware robust on-chip bus architecture synthesis for MPSoCs

Property analysis and design understanding in a quality-driven bounded model checking flow

RevLib: An online resource for reversible functions and reversible circuits

Robust on-chip bus architecture synthesis for MPSoCs under random tasks arrival

Robustness and usability in modern design flows

Slack allocation based co-synthesis and optimization of bus and memory architectures for MPSoCs

Using higher levels of abstraction for solving optimization problems by Boolean Satisfiability

Using unsatisfiable cores to debug multiple design errors

Schreiben Sie uns gerne eine E-Mail, falls Sie weitere Fragen haben.

Schreiben Sie uns gerne eine E-Mail, falls Sie weitere Fragen haben.