Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation
Author: Sallar Ahmadi-Pour, Mathis Logemann, Vladimir Herdt, Rolf Drechsler
Journal:
Chips
Details: Volume 2, Issue 3, pp. 195-208, DOI 10.3390/chips2030012
Year: 2023
ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars
Author: Kousik Bhunia, Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler
Journal:
ACM Transactions on Embedded Computing Systems
Details: accepted
Year: 2023
KI-gestützte Optimierung repetitiver Prozesse - Eine Kodierungstechnik für repetitive Prozesse in der evolutionären Optimierung
Author: Christina Plump, Bernhard J. Berger, Rolf Drechsler
Journal:
Industrie 4.0 Management
Details: IM 39, pp. 19-22
Year: 2023
AI-Driven and Automated MRI Sequence Optimization in Scanner-Independent MRI Sequences Formulated by a Domain-Specific Language
Author: Daniel Christopher Hoinkiss, Jörn Huber, Christina Plump, Christoph Lüth, Rolf Drechsler, Matthias Günther
Journal:
Frontiers in Neuroimaging
Details: 2-2023
Year: 2023
Impact of Sneak Paths on In-Memory Logic Design in Memristive Crossbars Information Technology
Author: Kamalika Datta, Arighna Deb, Abhoy Kole, Rolf Drechsler
Journal:
it-Information Technology
Details: accepted
Year: 2023
A Novel Default Risk Prediction and Feature Importance
Analysis Technique for Marketplace Lending using
Machine Learning
Author: Sana Hassan Imam, Sebastian Huhn, Lars Hornuf, Rolf Drechsler
Journal:
Journal of Credit and Capital Markets
Details: Vol. 56 (2023), Iss. 1 : pp. 27–62
Year: 2023
MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors
Author: Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
Journal:
IEEE Transactions on Circuits and Systems II: Express Briefs
Details: DOI: 10.1109/TCSII.2023.3242976
Year: 2023
Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
Author: Sören Tempel, Vladimir Herdt, Rolf Drechsler
Journal:
IEEE Internet of Things Journal
Details: DOI: 10.1109/JIOT.2023.3236694
Year: 2023
The MicroRV32 framework: An Accessible and Configurable Open Source RISC-V Cross-Level Platform for Education and Research
Author: Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Journal:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details: https://doi.org/10.1016/j.sysarc.2022.102757, Volume 133, 2022
Year: 2022
Advanced Embedded System Modeling and Simulation in an Open Source RISC-V Virtual Prototype
Author: Pascal Pieper, Vladimir Herdt and Rolf Drechsler
Journal:
Journal of Low Power Electronics and Applications
Details: 12(4):52. https://doi.org/10.3390/jlpea12040052
Year: 2022
FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications
Author: Dev Narayan Yadav, Phrangboklang Lyngton Thangkhiew, Kamalika Datta, Sandip Chakraborty, Rolf Drechsler, Indranil Sengupta
Journal:
Journal of Electronic Testing, Springer
Details: DOI:10.1007/ s10836-022-06001-2
Year: 2022
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
Author: Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Journal:
Chips
Details: Volume 1, Issue 1, pp. 54-71, DOI 10.3390/chips1010006
Year: 2022
Power-aware Test Scheduling Framework for IEEE 1687 Multi-Power Domain Networks using Formal Techniques
Author: Payam Habiby, Sebastian Huhn, Rolf Drechsler
Journal:
Microelectronics Reliability
Details: DOI: 10.1016/j.microrel.2022.114551, pp. 1-11
Year: 2022
Towards Quantification and Visualization of the Effects of Concretization during Concolic Testing
Author: Sören Tempel, Vladimir Herdt, Rolf Drechsler
Journal:
IEEE Embedded Systems Letters (ESL)
Details: https://doi.org/10.1109/ LES.2022.3171603
Year: 2022
CoMIC: Complementary Memristor based in-memory computing in 3D architecture
Author: F. Lalchhandama, Kamalika Datta, S. Chakraborty, Rolf Drechsler, I. Sengupta
Journal:
Journal of Systems Architecture (JSA)
Details: DOI: 10.1016/j.sysarc.2022.102480, Volume 126, Article 102480
Year: 2022
Template-based mapping of reversible circuits to IBM quantum computers
Author: Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler
Journal:
Microprocessors and Microsystems (MICPRO)
Details: Volume 90, April 2022. DOI: 10.1016/j.micpro.2022.104487
Year: 2022
Unlocking Approximation for In-Memory Computing with Cartesian Genetic Programming and Computer Algebra for Arithmetic Circuits
Author: Saman Fröhlich, Rolf Drechsler
Journal:
it-Information Technology
Details: https://doi.org/10.1515/itit-2021-0042
Year: 2022
Verzahnung von Data Stewardship und Data Science – Wege und Perspektiven
Author: Lena Steinmann, Rolf Drechsler
Journal:
Bausteine Forschungsdatenmanagement
Details: Nummer 3, pp. 83-91
Year: 2021
Disziplinübergreifendes Modell zur Ausbildung von Forschungsdatenmanagement und Data Science Kompetenzen: „Data Train – Training in Research Data Management and Data Science“
Author: Tanja Hörner, Frank Oliver Glöckner, Rolf Drechsler, Iris Pigeot
Journal:
Bausteine Forschungsdatenmanagement
Details: Nummer 3, pp. 57-69
Year: 2021
Experimental Methods to Enable High-Throughput Characterization of New Structural Materials
Author: Nils Ellendt, Brigitte Clausen, Nicole Mensching, Daniel Meyer, Christina Plump, Heike Sonnenberg, Matthias Steinbacher, Anastasiya Tönjes
Journal: JOM: the journal of the Minerals, Metals & Materials Society
Details: JOM 73, 3347–3355
Year: 2021
Advanced Virtual Prototyping for Cyber-Physical Systems using RISC-V: Implementation, Verification and Challenges
Author: Vladimir Herdt, Rolf Drechsler
Journal:
Science China Information Sciences (SCIS)
Details: https://doi.org/10.1007/ s11432-020-3308-4
Year: 2021
Towards RISC-V CSR Compliance Testing
Author: Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Journal:
IEEE Embedded Systems Letters (ESL)
Details: DOI: 10.1109/LES.2021.3077368, pp. 202-205
Year: 2021
An ant colony based mapping of quantum circuits to nearest neighbor architectures
Author: Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherje, Robert Wille, Rolf Drechsler, Hafizur Rahamana
Journal:
Integration
Details: Volume 78, May 2021, Pages 11-24
Year: 2021
Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D Architectures
Author: Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Journal:
IETE Journal of Research
Details: https://doi.org/10.1080/03772063.2020.1822215, pp. 340-353
Year: 2020
On the Difficulty of Inserting Trojans in Reversible Computing Architectures
Author: Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Kaijie Wu, Rolf Drechsler, Ramesh Karri
Journal:
IEEE Transactions on Emerging Topics in Computing
Details: Volume: 8, Issue: 4, Oct.-Dec. 1 2020
Year: 2020
An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
Author: Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann, Bappaditya Mondal, Rolf Drechsler, Hafizur Rahaman
Journal:
Integration
Details: Volume 76, January 2021, Pages 40-54, https://doi.org/10.1016/j.vlsi.2020.09.003
Year: 2020
Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures
Author: Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Journal:
IETE Journal of Research
Details: https://doi.org/10.1080/03772063.2020.1822215
Year: 2020
ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
Author: Buse Ustaoğlu, Kenneth Schmitz, Daniel Große, Rolf Drechsler
Journal:
SN Applied Sciences | Springer Nature
Details: ANr: 1363, DOI 10.1007/s42452-020-3003-x
Year: 2020
On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
Author: Frank Sill Torres, Pedro A. Silva, Geraldo Fontes, Marcel Walter, José Augusto M. Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler
Journal:
Microprocessors and Microsystems (MICPRO)
Details: Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109
Year: 2020
PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs using Regression Analysis Techniques
Author: Mehran Goli, Rolf Drechsler
Journal:
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Details: volume: 25, number: 5, numpages: 28, URL: https://doi.org/10.1145/3388140,
DOI: 10.1145/3388140
Year: 2020
Near Zero-Energy Computation Using Quantum-dot Cellular Automata
Author: Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Journal: Journal on Emerging Technologies in Computing Systems (JETC)
Details: Vol. 16, No. 1, https://dl.acm.org/doi/abs/10.1145/3365394, 2019
Year: 2019
Designing Partially Reversible Field-Coupled Nanocomputing Circuits
Author: Jeferson Figueiredo Chaves, Marco Ribeiro, Frank Sill Torres, Omar Paranaiba Vilela Neto
Journal:
IEEE Transactions on Nanotechnology
Details: Volume 18, Issue: 1,pages 589-597, December 2019
DOI: 10.1109/TNANO.2019.2918057
Year: 2019
Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
Author: Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details: Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661
Year: 2019
Security Validation of VP-based SoCs Using
Dynamic Information Flow Tracking
Author: Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Journal:
it-Information Technology
Details: https://doi.org/10.1515/itit-2018-0027
Year: 2019
Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
Author: Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Journal:
IEEE Transactions On Very Large Scale Integration (VLSI) Systems
Details: Volume 27, Number 4, Pages. 875-887, April 2019. DOI: 10.1109/TVLSI.2018.2890601
Year: 2019
On the complexity of design tasks for Digital Microfluidic Biochips
Author: Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
Journal:
Microelectronics Journal
Details: Volume 78, Pages 35-45
Year: 2018
Measurement and evaluation of calorimetric descriptors for the
suitability for evolutionary high-throughput material development
Author: Anastasiya Toenjes, Heike Sonnenberg, Christina Plump, Rolf
Drechsler, Axel von Hehl
Journal:
Metals
Details: Volume 9 (2), 149;
Year: 2019
Evaluation of (power) side-channels
in cryptographic implementations
Author: Florian Bache, Christina Plump, Jonas Wloka, Tim Güneysu, and Rolf Drechsler
Journal:
it – Information Technology
Details: Volume 61(1), DOI: 10.1515/itit-2018-0028
Year: 2019
"Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
Author: Cornelia Große
Journal:
Learning and Instruction
Details: Volume 58, pp. 173-181
Year: 2018
Arduinos in der Schule -
Lernen mit Mikrocontrollern
Author: Cornelia Große, Claudia Sobich, Sebastian Huhn, Markus Leuschner, Rolf Drechsler, Lutz
Mädler
Journal:
Computer + Unterricht
Details: Volume 110, May 2018, Pages 43-45
Year: 2018
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
Author: Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Journal:
Journal of Low Power Electronics
Details: Volume 13, Number 4, Pages 633-641
Year: 2017
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
Author: Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Journal:
Computer Languages, Systems & Structures
Details: Volume 54, December 2018, Pages 512-527
DOI:
10.1016/j.cl.2017.11.002
Year: 2018
Synthesis of optical circuits using binary decision diagrams
Author: Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler
Journal:
Integration, the VLSI Journal
Details:
Volume 59, September 2017, Pages 42–51
Year: 2017
A PLiM computer for the IoT
Author: Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
Journal:
Computer
Details: 50(6):35-40, DOI: 10.1109/MC.2017.173
Year: 2017
Information reconciliation schemes in physical-layer security: A survey
Author: Christopher Huth, Rene Guillaume, Thomas Strohm, Paul Duplys, Irin Ann Samuel, Tim Güneysu
Journal:
Computer Networks
Details: 109: 84-104
Year: 2016
Debugging hardware designs using dynamic dependency graphs
Author: Jan Malburg, Alexander Finder, Görschwin Fey
Journal:
Microprocessors and Microsystems (MICPRO)
Details: accepted, DOI: 10.1016/j.micpro.2016.10.004
Link
Year: 2016
Empirical Results on Parity-based Soft Error Detection with Software-based Retry
Author: Gökçe Aydos, Görschwin Fey
Journal:
Microprocessors and Microsystems (MICPRO)
Details: accepted, http://dx.doi.org/10.1016/j.micpro.2016.09.009
Year: 2016
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
Author: Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details: Volume 12 Issue 4, Article No. 34
Year: 2016
Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
Author: Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler
Journal:
Combustion and Flame
Details: Volume 168, June 2016, Pages 255–269
Year: 2016
Online collaborative learning in dyads: Effects of knowledge distribution and awareness
Author: Michail D. Kozlov, Cornelia Große
Journal:
Computers in Human Behavior
Details: Volume 59, 389-401
Year: 2016
SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
Author: Robert Wille, Eleonora Schonborn, Mathias Soeken, Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details: 53(3):39-53
Year: 2016
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Author: Jannis Stoppe, Rolf Drechsler
Journal:
Sensors
Details: Volume (issue) 15(5), pages 10399-10421
Year: 2015
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
Author: Robert Wille, Oliver Keszöcze, Tobias Boehnisch, Alexander Kroker, Rolf Drechsler
Journal:
IEEE Design & Test of Computers
Details: Volume 32, Issue 66, Pages 41—50
Year: 2015
Ancilla-free synthesis of large reversible functions using binary decision diagrams
Author: Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Journal:
Journal of Symbolic Computation
Details: accepted, preprint available at
arXiv 1408.3955
Year: 2015
Incorporating User Preferences in Many-Objective Optimization using Relation epsilon-Preferred
Author: Nicole Drechsler, André Sülflow, Rolf Drechsler
Journal:
Natural Computing
Details: Volume 14, Issue 3, pp 469-483
Year: 2015
Dynamic X-filling for Peak Capture Power Reduction for Compact Test Sets
Author: Stephan Eggersglüß
Journal: Journal of Electronic Testing: Theory and Applications
Details: Volume 30, Number 5, pp. 557-567
Year: 2014
Latency Analysis for Sequential Circuits
Author: Alexander Finder, André Sülflow, Görschwin Fey
Journal: IEEE Trans. on CAD of Integrated Circuits and Systems
Details: Volume 33, Number 4, pp. 643-647,
DOI: 10.1109/TCAD.2013.2292501
Year: 2014
An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
Author: Stephan Eggersglüß, Rolf Drechsler
Journal:
it-Information Technology
Details: Volume 56, Number 4, pp. 157-164
Special Issue
Year: 2014
Mathematics learning with multiple solution methods: effects of types of solutions and learners’ activity
Author: Cornelia Große
Journal:
Instructional Science
Details: Volume 42, Number 5, pp 715-745.
DOI:
10.1007/s11251-014-9312-y
Year: 2014
Upper bounds for reversible circuits based on Young subgroups
Author: Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Journal:
Information Processing Letters
Details: Volume 114, Number 06 (June 2014), pp. 282-286.
DOI:
10.1016/j.ipl.2014.01.003
Year: 2014
Search-based testing using constraint-based mutation
Author: Jan Malburg, Gordon Fraser
Journal:
Software Testing, Verification and Reliability
Details: Volume 24, Issue 6, pages 472–495, September 2014, DOI: 10.1002/stvr.1508
Link
Year: 2013 (online)
Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level
Author: Robert Wille, Aaron Lye, Rolf Drechsler
Journal: Quantum Information Processing
Details: DOI:
http://dx.doi.org/10.1007/s11128-013-0642-5
Year: 2013
Speci fication-Driven Model Transformation Testing
Author: Esther Guerra, Mathias Soeken
Journal:
Software and Systems Modeling
Details: accepted
Year: 2013
Debug Automation for Logic Circuits Under Timing Variations
Author: Mehdi Dehbashi, Görschwin Fey
Journal:
IEEE Design & Test of Computers
Details: Volume 30, Issue 6, pp. 60-69
Year: 2013
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
Author: Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details: Volume 21, Number 5-6, 2013, pp. 627-640
Year: 2013
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Author: Daniel Große, Görschwin Fey, Rolf Drechsler
Journal: Electronic Communications of the EASST
Details: Volume 62, 13 pages
Year: 2013
RevKit: A Toolkit for Reversible Circuit Design
Author: Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details: Volume 18, Number 1, pp. 55-65
Year: 2012
A Highly Fault-Efficient SAT-Based ATPG Flow
Author: Stephan Eggersglüß, Rolf Drechsler
Journal:
IEEE Design & Test of Computers
Details: Volume 29, Issue 4 (July/August), pp. 63-70
Year: 2012
Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
Author: Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler
Journal:
it-Information Technology
Details: Volume 52, Number 4, pp. 216-223
PDF Download
Year: 2010
Towards Fully Automatic Synthesis of Embedded Software
Author: Ulrich Kühne, Daniel Große, Rolf Drechsler
Journal:
IEEE Embedded Systems Letters
Details: Volume 2, Number 3, pp. 53-57, September
Year: 2010
Overcoming the limitations of data introspection for SystemC
Author: Christian Genz, Rolf Drechsler
Journal:
EDA Tech Forum
Details: Volume 6, Issue 5, Pages 30-34 (December 2009)
Year: 2009
Weighted A* search - unifying view and application
Author: Rüdiger Ebendt, Rolf Drechsler
Journal:
Artificial Intelligence
Details: Volume 173, Issue 15, Pages 1367-1456 (September 2009)
Year: 2009
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
Author: Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Jürgen Schlöffel, Daniel Tille
Journal:
it - information technology
Details: Volume 51, Number 2, pp. 102-111
Pdf download
Year: 2009
Exact Synthesis of Elementary Quantum Gate Circuits
Author: Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details: Volume 15, Number 4, pp. 283-300
Year: 2009
Advanced Verification by Automatic Property Generation
Author: Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Journal:
IET Computers & Digital Techniques
Details: Volume 3, Issue 4, pp. 338-353, July
Year: 2009
Modeling and Proving Completeness in Formal Verification of Counting Heads
Author: Sebastian Kinder, Rolf Drechsler
Journal:
Software Tools for Technology Transfer (STTT)
Details: Springer, Volume 10, Number 6, pp. 521 - 534
Year: 2008
Simultaneous On-Chip Bus Synthesis and Voltage Scaling Under Random On-Chip Data Traffic
Author: Sujan Pandey, Manfred Glesner
Journal: IEEE Transaction on Very Large Scale Integration (VLSI) Systems
Details: Volume 15, Number 10, pp. 1111-1124, October
Year: 2007
Technische Dokumentation von Soft- und Hardware in
eingebetteten Systemen
Author: Beate Muranko, Rolf Drechsler
Journal:
it - information technology
Details: Number 2, pp. 110-117
Pdf download
Year: 2007
Exact minimisation of path-related objective functions for binary decision diagrams
Author: Rüdiger Ebendt, Rolf Drechsler
Journal:
IEE Proceedings Computer & Digital Techniques
Details: Volume 153, Number 4, pp. 231-242, July
Year: 2006
Generic Implementation of Multi-Valued Decision Diagram Packages
Author: Rolf Drechsler, Dragan Jankovic, Radomir Stankovic
Journal: Multiple-Valued Logic and Soft Computing
Details: Volume 11, Numbers 1-2, pp. 1-18
Year: 2005
Methods for Construction of Recursive Algorithms for Reed-Mulle-Fourier Polarity Matrices Calculation
Author: Dragan Jankovic, Rolf Drechsler
Journal: Multiple-Valued Logic and Soft Computing
Details: Volume 10, Numbers 1, pp. 29-50
Year: 2004
Using Word-Level Information in Formal Hardware Verification
Author: Rolf Drechsler
Journal:
Automation and Remote Control
Details:
Year: Volume 65, Issue 6, pp. 963-977, June 2004
Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC
Author: Daniel Große, Rolf Drechsler
Journal:
it - information technology
Details: Number 4, pp. 219-226, August
Year: 2003
Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams
Author: Wolfgang Günther, Rolf Drechsler
Journal:
IEEE Transactions on Computers
Details: Volume 52, Number 9, pp. 1196-1209, September
Year: 2003
Exact Routing with Search Space Reduction
Author: Frank Schmiedle, Rolf Drechsler, Bernd Becker
Journal:
IEEE Transactions on Computers
Details: Volume 52, Number 6, pp. 815-825, June
Year: 2003
Computer Architecture Core of Knowledge for Computer Science Studies
Author: M. Stojcev, I. Milentijevic, D. Kehagias, Rolf Drechsler, M. Gusev
Journal: Cyprus Computer Society Journal
Details: Volume I, Edition 4, April
Year: 2003
Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation
Author: Rolf Drechsler, Mikael Kerttu, Per Lindgren, Mitch Thornton
Journal:
Canadian Journal of Electrical and Computer Engineering
Details: Volume 27, Number 4, pp. 159-164, October
Year: 2002
Minimization of Word-level Decision Diagrams
Author: Rolf Drechsler, Wolfgang Günther, Stefan Höreth.
Journal:
INTEGRATION, the VLSI Journal
Details: Volume 33, Issue 1-2, pp. 39-70
Year: 2002
Minimization of Free BDDs
Author: Wolfgang Günther, Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details: Volume 32, Issue 1-2, pp. 41-59
Year: 2002
Verifying Integrity of Decision Diagrams
Author: Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details: Volume 32, Issue 1-2, pp. 61-75
Year: 2002
Heuristic Learning based on Genetic Programming
Author: Frank Schmiedle, Nicole Drechsler, Daniel Große and Rolf Drechsler
Journal:
Genetic Programming and Evolvable Machines
Details: Volume 3, pp. 363-388, December
Year: 2002
History-based Dynamic BDD Minimization
Author: Rolf Drechsler, Wolfgang Günther
Journal:
INTEGRATION, the VLSI Journal
Details: Volume 31, Issue 1, pp. 51-63
Year: 2001
Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld
Author: Rolf Drechsler
Journal: it+ti - Informationstechnik und Technische Informatik
Details: Oldenbourg Wissenschaftsverlag, Number 4, pp. 200-205
Year: 2001
Decision Diagram Method for Calculation of Pruned Walsh Transform
Author: Dragan Jankovic, Radomir Stankovic, Rolf Drechsler
Journal:
IEEE Transactions on Computers
Details: Volume 50, Number 2, pp. 147-157, February
Year: 2001
Boolean Function Representation and Spectral Characterization Using AND/OR Graphs
Author: Alenka Zuzek, Rolf Drechsler, Mitch Thornton
Journal:
INTEGRATION, the VLSI Journal
Details: Volume 29, Issue 2, pp. 101-116, September
Year: 2000
Genetic Algorithm for Minimization of fixed polarity Reed-Muller expressions
Author: Rolf Drechsler, Bernd Becker and Nicole Drechsler
Journal: IEE Proceedings Computers and Digital Techniques
Details: Volume 147, Number 5, September
Year: 2000
On the Computational Power of Linearly Transformed BDDs
Author: Wolfgang Günther, Rolf Drechsler
Journal:
Information Processing Letters
Details: Volume 75, Nummer 3, pp. 119-125, August
Year: 2000
Pseudo Kronecker Expressions for Symmetric Functions
Author: Rolf Drechsler
Journal:
IEEE Transactions on Computers
Details: Volume 48, Number 9, pp. 987-990, September
Year: 1999
On Variable Ordering and Decomposition Type Choice in OKFDDs
Author: Rolf Drechsler, Bernd Becker, Andrea Jahnke
Journal:
IEEE Transactions on Computers
Details: Volume 47, Number 12, December
Year: 1998
High Efficiency Time Redundant Hardened Latch for Reliable Circuit Design
Author: Rahebeh Niaraki Asli, Saeideh Shirinzadeh
Journal:
Journal of Electronic Testing
Details: Volume 29, Issue 4, pp 537-544
Year: 2013
