Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rolf Drechsler
Synthesis of Reversible Circuits With Minimal Lines for Large Functions
TLM Protocol Compliance Checking at the Electronic System Level
Disjoint Sum of Product Minimization by Evolutionary Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
BDD-based Verification of Scalable Designs
Facta universitatis - series: Electronics and Energetics
An Integrated SystemC Debugging Environment
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
Evaluation of Cardinality Constraints on SMT-Based Debugging
Computing Bounds for Fault Tolerance Using Formal Techniques
A Basis for Formal Robustness Checking
Robust On-Chip Bus Architecture Synthesis for MPSoCs Under Random Tasks Arrival
Improving Test Pattern Compactness in SAT-based ATPG
‹
1
2
3
›
