Rolf Drechsler

Dataset, January, 2023

Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap.

[BibT_eX]

[DOI]

Pascal Pieper

CoRR, 2023

Polynomial Formal Verification exploiting Constant Cutwidth.

[BibT_eX]

[DOI]

Mohamed A. Nadeem

Jan Kleinekathöfer

Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023

Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 15th International Conference, 2023

Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 15th International Conference, 2023

Finite State Automata Design using 1T1R ReRAM Crossbar.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

Benchmarking Multiplier Architectures for MAGIC Based In-Memory Computing.

[BibT_eX]

[DOI]

Chandan Kumar Jha

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

Verification of In-Memory Logic Design using ReRAM Crossbars.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor.

[BibT_eX]

[DOI]

Lennart Weingarten

Proceedings of the 18th ACM International Symposium on Nanoscale Architectures, 2023

Polynomial Formal Verification of KFDD Circuits.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Classifying Crowdsouring Platform Users' Engagement Behaviour using Machine Learning and XAI.

[BibT_eX]

[DOI]

Proceedings of the Mensch und Computer 2023, 2023

LAT-UP: Exposing Layout-Level Analog Hardware Trojans Using Contactless Optical Probing.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2023

Polynomial Formal Verification of a Processor: A RISC-V Case Study.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking.

[BibT_eX]

[DOI]

Ece Nur Demirhan Coskun

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

Automated Polynomial Formal Verification: Human-Readable Proof Generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2023

Memristors: Device Modeling, Design and Verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2023

Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Devices, Circuits and Systems, 2023

Fast and Accurate: Machine Learning Techniques for Performance Estimation of CNNs for GPGPUs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

Coverage-Guided Fuzzing for Plan-Based Robotics.

[BibT_eX]

[DOI]

Tim Meywerk

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Workshop: "Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data Science".

[BibT_eX]

[DOI]

Heiner Stuckenschmidt

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

Repetitive Processes and Their Surrogate-Model Congruent Encoding for Evolutionary Algorithms - A Theoretic Proposal.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Scalable Neuroevolution of Ensemble Learners.

[BibT_eX]

[DOI]

Rune Krauss

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Virtual Prototype Driven Application Specific Hardware Optimization.

[BibT_eX]

[DOI]

Jan Zielasko

Proceedings of the Forum on Specification & Design Languages, 2023

Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models.

[BibT_eX]

[DOI]

Proceedings of the Forum on Specification & Design Languages, 2023

Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design.

[BibT_eX]

[DOI]

Proceedings of the Forum on Specification & Design Languages, 2023

Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Forum on Specification & Design Languages, 2023

Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Test Symposium, 2023

Synthesis of IJTAG Networks for Multi-Power Domain Systems on Chips.

[BibT_eX]

[DOI]

Natalia Lylina

Chih-Hao Wang

Hans-Joachim Wunderlich

Proceedings of the IEEE European Test Symposium, 2023

Efficient ML-Based Performance Estimation Approach Across Different Microarchitectures for RISC-V Processors.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

RC-IJTAG: A Methodology for Designing Remotely-Controlled IEEE 1687 Scan Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2023

Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes.

[BibT_eX]

[DOI]

Rune Krauss

Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors.

[BibT_eX]

[DOI]

Jens Trommer

Niladri Bhattacharjee

Thomas Mikolajick

Mohammed E. Djeridane

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Polynomial Formal Verification of Floating Point Adders.

[BibT_eX]

[DOI]

Jan Kleinekathöfer

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits.

[BibT_eX]

[DOI]

Kemal Çaglar Coskun

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Processor Verification using Symbolic Execution: A RISC-V Case-Study.

[BibT_eX]

[DOI]

Niklas Bruns

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Lo-RISK: Design of a Low Optical Leakage and High Performance RISC-V Core.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2023

EVOAL: A Domain-Specific Language-Based Approach to Optimisation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2023

Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine.

[BibT_eX]

[DOI]

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - A RISC-V Case Study.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation.

[BibT_eX]

[DOI]

Rune Krauss

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification.

[BibT_eX]

[DOI]

Dataset, July, 2022

Template-based mapping of reversible circuits to IBM quantum computers.

[BibT_eX]

[DOI]

Alexandre A. A. de Almeida

Gerhard W. Dueck

Microprocess. Microsystems, April, 2022

RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Through the Looking Glass: Automated Design Understanding of SystemC-Based VPs at the ESL.

[BibT_eX]

[DOI]

Phrangboklang Lyngton Thangkhiew

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Feed-Forward learning algorithm for resistive memories.

[BibT_eX]

[DOI]

Dev Narayan Yadav

J. Syst. Archit., 2022

SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

CoMIC: Complementary Memristor based in-memory computing in 3D architecture.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Introduction to the Special Issue on Design Automation for Quantum Computing.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2022

Parallel Computing of Graph-based Functions in ReRAM.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2022

Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits.

[BibT_eX]

[DOI]

Phrangboklang Lyngton Thangkhiew

it Inf. Technol., 2022

FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications.

[BibT_eX]

[DOI]

Dev Narayan Yadav

J. Electron. Test., 2022

Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2022

Lower Bound Proof for the Size of BDDs representing a Shifted Addition.

[BibT_eX]

[DOI]

Jan Kleinekathöfer

CoRR, 2022

Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2022

A Hardware-based Evolutionary Algorithm with Multi-Objective Optimization Operators for On-Chip Transient Fault Detection.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE VLSI Test Symposium, 2022

Preserving Design Hierarchy Information for Polynomial Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, 2022

Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications.

[BibT_eX]

[DOI]

Proceedings of the 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, 2022

ANN-based Performance Estimation of Embedded Software for RISC-V Processors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Rapid System Prototyping, 2022

Self-Explanation in Systems of Systems.

[BibT_eX]

[DOI]

Martin Fränzle

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Towards Neural Hardware Search: Power Estimation of CNNs for GPGPUs with Dynamic Frequency Scaling.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM/IEEE Workshop on Machine Learning for CAD, 2022

Simulation-Based Debugging of Formal Environment Models.

[BibT_eX]

[DOI]

Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

Polynomial Formal Verification of Complex Multipliers.

[BibT_eX]

[DOI]

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

Simulation-based Verification of SystemC-based VPs at the ESL.

[BibT_eX]

[DOI]

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

Fast and Exact is Doable: Polynomial Algorithms in Test and Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Latin American Test Symposium, 2022

Next Generation Design For Testability, Debug and Reliability Using Formal Techniques.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2022

Polynomial Formal Verification of Approximate Functions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022

Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

Polynomial Formal Verification: Ensuring Correctness under Resource Constraints.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype.

[BibT_eX]

[DOI]

Pascal Pieper

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

Mapping Quantum Circuits to 2-Dimensional Quantum Architectures.

[BibT_eX]

[DOI]

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

Adapting mutation and recombination operators to range-aware relations in real-world application data.

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization.

[BibT_eX]

[DOI]

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

3D Visualization of Symbolic Execution Traces.

[BibT_eX]

[DOI]

Proceedings of the Forum on Specification & Design Languages, 2022

Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device.

[BibT_eX]

[DOI]

Proceedings of the Forum on Specification & Design Languages, 2022

Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification.

[BibT_eX]

[DOI]

Niklas Bruns

Proceedings of the Forum on Specification & Design Languages, 2022

Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Test Symposium, 2022

Polynomial Formal Verification of Approximate Adders.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Generation of Verified Programs for In-Memory Computing.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles.

[BibT_eX]

[DOI]

Phrangboklang Lyngton Thangkhiew

Indranil Sengupta

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study.

[BibT_eX]

[DOI]

Klaus D. McDonald-Maier

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression.

[BibT_eX]

[DOI]

Weiyan Zhang

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

ML-based Power Estimation of Convolutional Neural Networks on GPGPUs.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions.

[BibT_eX]

[DOI]

Milan Funck

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

Towards Polynomial Formal Verification of Complex Arithmetic Circuits.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters.

[BibT_eX]

[DOI]

Kemal Çaglar Coskun

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

LiM-HDL: HDL-Based Synthesis for In-Memory Computing.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

The Scale4Edge RISC-V Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Verifying SystemC TLM peripherals using modern C++ symbolic execution tools.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Using density of training data to improve evolutionary algorithms with approximative fitness functions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

Automated Detection of Spatial Memory Safety Violations for Constrained Devices.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

Toward Optical Probing Resistant Circuits: A Comparison of Logic Styles and Circuit Design Techniques.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen.

[BibT_eX]

[DOI]

Christoph Lüth

Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

2021

Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes.

[BibT_eX]

[DOI]

Dataset, September, 2021

Non-Clausal SAT and ATPG.

[BibT_eX]

[DOI]

Tommi A. Junttila

Ilkka Niemelä

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

An improved heuristic technique for nearest neighbor realization of quantum circuits in 2D architecture.

[BibT_eX]

[DOI]

Integr., 2021

An ant colony based mapping of quantum circuits to nearest neighbor architectures.

[BibT_eX]

[DOI]

Integr., 2021

Toward RISC-V CSR Compliance Testing.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2021

Polynomial Circuit Verification using BDDs.

[BibT_eX]

[DOI]

CoRR, 2021

Pick the Right Edge Device: Towards Power and Performance Estimation of CUDA-based CNNs on GPGPUs.

[BibT_eX]

[DOI]

CoRR, 2021

Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level.

[BibT_eX]

[DOI]

Proceedings of the 29th IFIP/IEEE International Conference on Very Large Scale Integration, 2021

Finding Optimal Implementations of Non-native CNOT Gates Using SAT.

[BibT_eX]

[DOI]

Luca Müller

Proceedings of the Reversible Computation - 13th International Conference, 2021

Performance Aspects of Correctness-oriented Synthesis Flows.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Polynomial word-level verification of arithmetic circuits.

[BibT_eX]

[DOI]

Mohammed Barhoush

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion.

[BibT_eX]

[DOI]

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

Depth Optimized Synthesis of Symmetric Boolean Functions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

Early Validation of SoCs Security Architecture Against Timing Flows Using SystemC-based VPs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021

ALF: a fitness-based artificial life form for evolving large-scale neural networks.

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

Optimization-based Test Scheduling for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2021

Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation.

[BibT_eX]

[DOI]

Luca Müller

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

Automated Debugging-Aware Visualization Technique for SystemC HLS Designs.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

A Codeword-based Compactor for On-Chip Generated Debug Data Using Two-Stage Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2021

PolyAdd: Polynomial Formal Verification of Adder Circuits.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2021

An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Vertical IP Protection of the Next-Generation Devices: Quo Vadis?

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Nano Security: From Nano-Electronics to Secure Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

System Level Verification of Phase-Locked Loop using Metamorphic Relations.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Late Breaking Results: Polynomial Formal Verification of Fast Adders.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Early power estimation of CUDA-based CNNs on GPGPUs: work-in-progress.

[BibT_eX]

[DOI]

Proceedings of the CODES/ISSS 2021, 2021

Domain-driven Correlation-aware Recombination and Mutation Operators for Complex Real-world Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2021

Improving Evolutionary Algorithms by Enhancing an Approximative Fitness Function through Prediction Intervals.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2021

Polynomial Formal Verification of Prefix Adders.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Asian Test Symposium, 2021

One-pass Synthesis for Field-coupled Nanocomputing Technologies.

[BibT_eX]

[DOI]

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

Mutation-based Compliance Testing for RISC-V.

[BibT_eX]

[DOI]

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs.

[BibT_eX]

[DOI]

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations.

[BibT_eX]

[DOI]

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020

PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs Using Regression Analysis Techniques.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2020

On the Difficulty of Inserting Trojans in Reversible Computing Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2020

Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Automated Nonintrusive Analysis of Electronic System Level Designs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Advanced exact synthesis of Clifford+T circuits.

[BibT_eX]

[DOI]

José Augusto Miranda Nacif

Quantum Inf. Process., 2020

On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata.

[BibT_eX]

[DOI]

Ricardo Santos Ferreira

Omar Paranaiba Vilela Neto

Microprocess. Microsystems, 2020

RISC-V based virtual prototype: An extensible and configurable platform for the system-level.

[BibT_eX]

[DOI]

J. Syst. Archit., 2020

Near Zero-Energy Computation Using Quantum-Dot Cellular Automata.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2020

Post Synthesis-Optimization of Reversible Circuit using Template Matching.

[BibT_eX]

[DOI]

Proceedings of the 2020 24th International Symposium on VLSI Design and Test (VDAT), 2020

Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes.

[BibT_eX]

[DOI]

Mazyar Seraj

Eva-Sophie Katterfeldt

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2020

Integer Overflow Detection in Hardware Designs at the Specification Level.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Design Automation for Field-Coupled Nanotechnologies.

[BibT_eX]

[DOI]

Marcel Walter

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Efficient Techniques to Strongly Enhance the Virtual Prototype Based Design Flow.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Automated Design Understanding of SystemC-Based Virtual Prototypes: Data Extraction, Analysis and Visualization.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

One-pass Synthesis for Digital Microfluidic Biochips: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Devices, Circuits and Systems, 2020

Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Computer Design, 2020

ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Early Verification of ISA Extension Specifications using Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Niklas Bruns

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Efficient machine learning through evolving combined deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study.

[BibT_eX]

[DOI]

Proceedings of the Forum for Specification and Design Languages, 2020

Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers.

[BibT_eX]

[DOI]

Alexandre A. A. de Almeida

Gerhard W. Dueck

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Power-aware Test Scheduling for IEEE 1687 Networks with Multiple Power Domains.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2020

Towards Generation of a Programmable Power Management Unit at the Electronic System Level.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

Verification Runtime Analysis: Get the Most Out of Partial Verification.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Towards Formal Verification of Optimized and Industrial Multipliers.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Towards Specification and Testing of RISC-V ISA Compliance⋆.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes*.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Verification for Field-coupled Nanocomputing Circuits.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side*.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Towards Automatic Hardware Synthesis from Formal Specification to Implementation.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Reversible Circuits: IC/IP Piracy Attacks and Countermeasures.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2019

Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2019

Editorial TVLSI Positioning - Continuing and Accelerating an Upward Trajectory.

[BibT_eX]

[DOI]

Ibrahim Abe M. Elfadel

Mehran Mozaffari Kermani

IEEE Trans. Very Large Scale Integr. Syst., 2019

Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note).

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2019

Security validation of VP-based SoCs using dynamic information flow tracking.

[BibT_eX]

[DOI]

it Inf. Technol., 2019

Evaluation of (power) side-channels in cryptographic implementations.

[BibT_eX]

[DOI]

it Inf. Technol., 2019

fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits.

[BibT_eX]

[DOI]

CoRR, 2019

Improved Look-Ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2019

Self-Explaining Digital Systems - Some Technical Steps.

[BibT_eX]

[DOI]

Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Cluster-based Localization of IR-drop in Test Application considering Parasitic Elements.

[BibT_eX]

[DOI]

Harshad Dhotre

Proceedings of the IEEE Latin American Test Symposium, 2019

Scratch and Google Blockly: How Girls' Programming Skills and Attitudes are Influenced.

[BibT_eX]

[DOI]

Mazyar Seraj

Eva-Sophie Katterfeldt

Kerstin Bub

Proceedings of the Koli Calling '19: 19th Koli Calling International Conference on Computing Education Research, 2019

A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference in Asia, 2019

Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019

Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019

One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

T-depth Optimization for Fault-Tolerant Quantum Circuits.

[BibT_eX]

[DOI]

Anshu Gupta

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

HotAging - Impact of Power Dissipation on Hardware Degradation.

[BibT_eX]

[DOI]

Frank Sill Torres

Alberto García Ortiz

Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Impact of NBTI on Increasing the Susceptibility of FinFET to Radiation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Reliability Physics Symposium, 2019

Look what I can do: acquisition of programming skills in the context of living labs.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

Automated Analysis of Virtual Prototypes at Electronic System Level.

[BibT_eX]

[DOI]

Proceedings of the 2019 on Great Lakes Symposium on VLSI, 2019

Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring.

[BibT_eX]

[DOI]

Rehab Massoud

Hoang M. Le

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Systematic RISC-V based Firmware Design⋆.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Functional Coverage-Driven Characterization of RF Amplifiers.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Machine Learning-based Prediction of Test Power.

[BibT_eX]

[DOI]

Harshad Dhotre

Proceedings of the 24th IEEE European Test Symposium, 2019

Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE European Test Symposium, 2019

SAT-Hard: A Learning-Based Hardware SAT-Solver.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Code is Ethics - Formal Techniques for a Better World.

[BibT_eX]

[DOI]

Christoph Lüth

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Accuracy and Compactness in Decision Diagrams for Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Better Late Than Never : Verification of Embedded Systems After Deployment.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Verifying Instruction Set Simulators using Coverage-guided Fuzzing*.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Data Flow Testing for SystemC-AMS Timed Data Flow Models.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Temporal Tracing of On-Chip Signals using Timeprints.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Asian Test Symposium, 2019

Scalable design for field-coupled nanocomputing circuits.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

Maximizing power state cross coverage in firmware-based power management.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

(ReCo)Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-Based Countermeasures on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the Applied Reconfigurable Computing - 15th International Symposium, 2019

Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019

Approximate Hardware Generation Using Formal Techniques.

[BibT_eX]

[DOI]

Proceedings of the Approximate Circuits, Methodologies and CAD., 2019

2018

An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Logic Synthesis for RRAM-Based In-Memory Computing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

On the complexity of design tasks for Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Microelectron. J., 2018

Synthesis of circuits based on all-optical Mach-Zehnder Interferometers using Binary Decision Diagrams.

[BibT_eX]

[DOI]

Microelectron. J., 2018

Behaviour Driven Development for Hardware Design.

[BibT_eX]

[DOI]

IPSJ Trans. Syst. LSI Des. Methodol., 2018

The complexity of error metrics.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata.

[BibT_eX]

[DOI]

CoRR, 2018

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Mohamed Ibrahim

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques.

[BibT_eX]

[DOI]

Moein Sarvaghad-Moghaddam

Proceedings of the 2018 International Symposium on Rapid System Prototyping, 2018

Multi-objective Synthesis of Quantum Circuits Using Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 10th International Conference, 2018

Power Intent from Initial ESL Prototypes: Extracting Power Management Parameters*.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Nordic Circuits and Systems Conference, 2018

Generation and Validation of Frame Conditions in Formal Models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2018

Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Towards Automated Refinement of TLM Properties to RTL.

[BibT_eX]

[DOI]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Building Fast Multi Agent Systems Using Hardware Design Languages for High-Throughput Systems.

[BibT_eX]

[DOI]

Proceedings of the Dynamics in Logistics, 2018

Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

Logic Synthesis for In-memory Computing Using Resistive Memories.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Towards Dynamic Execution Environment for System Security Protection Against Hardware Flaws.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Logic Design Using Memristors: An Emerging Technology.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

Synthesis of Reversible Circuits Using Conventional Hardware Description Languages.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on On-Line Testing And Robust System Design, 2018

IC/IP piracy assessment of reversible logic.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2018

PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers.

[BibT_eX]

[DOI]

José Augusto Miranda Nacif

Proceedings of the International Conference on Computer-Aided Design, 2018

SAT-Lancer: A Hardware SAT-Solver for Self-Verification.

[BibT_eX]

[DOI]

Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018

Automatic Design of Microfluidic Devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Extensible and Configurable RISC-V Based Virtual Prototype.

[BibT_eX]

[DOI]

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata.

[BibT_eX]

[DOI]

Frank Sill Torres

Pedro Arthur Silva

Geraldo Fontes

Ricardo Santos Ferreira

Omar Paranaiba Vilela Neto

Jeferson F. Chaves

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Towards Reversed Approximate Hardware Design.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Natural Language Based Power Domain Partitioning.

[BibT_eX]

[DOI]

David Lemma

Proceedings of the 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2018

Constraint-Based Pattern Retargeting for Reducing Localized Power Activity During Testing.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2018

An exact method for design exploration of quantum-dot cellular automata.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Improved synthesis of Clifford+T quantum functionality.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Resilience evaluation via symbolic fault injection on intermediate code.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Towards fully automated TLM-to-RTL property refinement.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Testbench qualification for SystemC-AMS timed data flow models.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Approximate hardware generation using symbolic computer algebra employing grobner basis.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Approximation-aware testing for approximate circuits.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.

[BibT_eX]

[DOI]

Priyank Kalla

Proceedings of the Advanced Logic Synthesis, 2018

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-72813-1, 2018

2017

Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification.

[BibT_eX]

[DOI]

Pablo González de Aledo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

metaSMT: focus on your application and not on solver integration.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs.

[BibT_eX]

[DOI]

Lars Othmer

J. Low Power Electron., 2017

Synthesis of optical circuits using binary decision diagrams.

[BibT_eX]

[DOI]

Integr., 2017

Towards Reverse Engineering Reversible Logic.

[BibT_eX]

[DOI]

CoRR, 2017

A PLiM Computer for the Internet of Things.

[BibT_eX]

[DOI]

Giovanni De Micheli

Computer, 2017

Revealing properties of structural materials by combining regression-based algorithms and nano indentation measurements.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 9th International Conference, 2017

Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 9th International Conference, 2017

More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Yise - a novel framework for boolean networks using y-inverter graphs.

[BibT_eX]

[DOI]

Arun Chandrasekharan

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Exact Synthesis of Ternary Reversible Functions Using Ternary Toffoli Gates.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Error Bounded Exact BDD Minimization in Approximate Computing.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

OR-Inverter Graphs for the Synthesis of Optical Circuits.

[BibT_eX]

[DOI]

Arighna Deb

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Extensions to the Reversible Hardware Description Language SyReC.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Towards lightweight satisfiability solvers for self-verification.

[BibT_eX]

[DOI]

Fritjof Bornebusch

Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017

Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Early SoC security validation by VP-based static information flow analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Dedicated synthesis for MZI-based optical circuits based on AND-inverter graphs.

[BibT_eX]

[DOI]

Arighna Deb

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

ProACt: A Processor for High Performance On-demand Approximate Computing.

[BibT_eX]

[DOI]

Arun Chandrasekharan

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach.

[BibT_eX]

[DOI]

Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Foreword.

[BibT_eX]

[DOI]

Maria K. Michael

Haralampos-G. D. Stratigopoulos

Sybille Hellebrand

Rob Aitken

Proceedings of the 22nd IEEE European Test Symposium, 2017

Unintrusive aging analysis based on offline learning.

[BibT_eX]

[DOI]

Frank Sill Torres

Pedro Fausto Rodrigues Leite

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2017

Reconfigurable TAP controllers with embedded compression for large test data volume.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2017

Machine learning based test pattern analysis for localizing critical power activity areas.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2017

Endurance management for resistive Logic-In-Memory computing architectures.

[BibT_eX]

[DOI]

Giovanni De Micheli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Effects of cell shapes on the routability of Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Optimization of retargeting for IEEE 1149.1 TAP controllers with embedded compression.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Data flow testing for virtual prototypes.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Identification of Efficient Clustering Techniques for Test Power Activity on the Layout.

[BibT_eX]

[DOI]

Harshad Dhotre

Proceedings of the 26th IEEE Asian Test Symposium, 2017

Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs.

[BibT_eX]

[DOI]

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Exact routing for micro-electrode-dot-array digital microfluidic biochips.

[BibT_eX]

[DOI]

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Enhancing robustness of sequential circuits using application-specific knowledge and formal methods.

[BibT_eX]

[DOI]

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Complexity of reversible circuits and their quantum implementations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

QMDDs: Efficient Quantum Function Representation and Manipulation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

On Optimization-Based ATPG and Its Application for Highly Compacted Test Sets.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Ancilla-free synthesis of large reversible functions using binary decision diagrams.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

Embedding of Large Boolean Functions for Reversible Logic.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2016

Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2016

Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability.

[BibT_eX]

[DOI]

Bhargab B. Bhattacharya

ACM J. Emerg. Technol. Comput. Syst., 2016

Analyzing Inconsistencies in UML/OCL Models.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2016

SyReC: A hardware description language for the specification and synthesis of reversible circuits.

[BibT_eX]

[DOI]

Integr., 2016

Verifying the structure and behavior in UML/OCL models using satisfiability solvers.

[BibT_eX]

[DOI]

IET Cyper-Phys. Syst.: Theory & Appl., 2016

Hardware/Software Co-Visualization on the Electronic System Level Using SystemC.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library.

[BibT_eX]

[DOI]

Laxmidhar Biswal

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

From reversible logic to quantum circuits: Logic design for an emerging technology.

[BibT_eX]

[DOI]

Anupam Chattopadhyay

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.

[BibT_eX]

[DOI]

Lars Othmer

Proceedings of the Reversible Computation - 8th International Conference, 2016

Ground setting properties for an efficient translation of OCL in SMT-based model finding.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Integrating an SMT-Based ModelFinder into USE.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Frame conditions in symbolic representations of UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Symbolic Error Metric Determination for Approximate Computing.

[BibT_eX]

[DOI]

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Model-Based Specification and Refinement for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Christoph Lüth

Proceedings of the Dynamics in Logistics, 2016

Fault Detection in Parity Preserving Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation.

[BibT_eX]

[DOI]

Laxmidhar Biswal

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Generating and checking control logic in the HDL-based design of reversible circuits.

[BibT_eX]

[DOI]

Lars Othmer

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

Towards a model-based verification methodology for Complex Swarm Systems (Invited paper).

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

Exploring superior structural materials using multi-objective optimization and formal techniques.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

An improved gate library for logic synthesis of optical circuits.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

Guided lightweight Software test qualification for IP integration using Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

AIBA: An Automated Intra-cycle Behavioral Analysis for SystemC-based design exploration.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

From biochips to quantum circuits: computer-aided design for emerging technologies.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Compiled symbolic simulation for systemC.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Approximation-aware rewriting of AIGs for error tolerant applications.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

Equivalence checking using Gröbner bases.

[BibT_eX]

[DOI]

Amr A. R. Sayed-Ahmed

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Change impact analysis for hardware designs from natural language to system level.

[BibT_eX]

[DOI]

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study.

[BibT_eX]

[DOI]

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

VecTHOR: Low-cost compression architecture for IEEE 1149-compliant TAP controllers.

[BibT_eX]

[DOI]

Proceedings of the 21th IEEE European Test Symposium, 2016

Multi-objective BDD optimization for RRAM based circuit design.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Formal verification of integer multipliers by combining Gröbner basis with logic reduction.

[BibT_eX]

[DOI]

Amr A. R. Sayed-Ahmed

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Towards formal verification of real-world SystemC TLM peripheral models - a case study.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Quantitative timing analysis of UML activity diagrams using statistical model checking.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

An MIG-based compiler for programmable logic-in-memory architectures.

[BibT_eX]

[DOI]

Luca Gaetano Amarù

Giovanni De Micheli

Proceedings of the 53rd Annual Design Automation Conference, 2016

Precise error determination of approximated components in sequential circuits with model checking.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual Design Automation Conference, 2016

ParCoSS: Efficient Parallelized Compiled Symbolic Simulation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

BDD minimization for approximate computing.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications.

[BibT_eX]

[DOI]

Sensors, 2015

Incorporating user preferences in many-objective optimization using relation ε-preferred.

[BibT_eX]

[DOI]

Nat. Comput., 2015

Scalable One-Pass Synthesis for Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Benefits of illustrations and videos for technical documentations.

[BibT_eX]

[DOI]

Cornelia S. Große

Lisa Jungmann

Comput. Hum. Behav., 2015

BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on VLSI Design, 2015

Reversible circuit rewriting with simulated annealing.

[BibT_eX]

[DOI]

Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Coverage of OCL Operation Specifications and Invariants.

[BibT_eX]

[DOI]

Julia Seiter

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Development of Consistent Formal Models.

[BibT_eX]

[DOI]

Julia Seiter

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Design and Synthesis of Reversible Circuits using Hardware Description Languages.

[BibT_eX]

[DOI]

Eleonora Schönborn

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Analyzing and Simulating Time Descriptions from UML/MARTE CCSL.

[BibT_eX]

[DOI]

Judith Peters

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Behavior Driven Development for Tests and Verification.

[BibT_eX]

[DOI]

Melanie Diepenbeck

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Ensuring safety and reliability of IP-based system design - A container approach.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

Envisioning self-verification of electronic systems.

[BibT_eX]

[DOI]

Martin Fränzle

Proceedings of the 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2015

Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 7th International Conference, 2015

Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 7th International Conference, 2015

Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

Checking concurrent behavior in UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung).

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits.

[BibT_eX]

[DOI]

Amr A. R. Sayed-Ahmed

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits.

[BibT_eX]

[DOI]

Arman Allahyari-Abhari

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

Formal Methods for Emerging Technologies.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

A General and Exact Routing Methodology for Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Reversible computation.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Green and Sustainable Computing Conference, 2015

Multi-Objective BDD Optimization with Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Simulation Graphs for Reverse Engineering.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Leveraging the Analysis for Invariant Independence in Formal System Models.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Verification-Driven Design Across Abstraction Levels: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Contradiction Analysis for Inconsistent Formal Models.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

Requirement Phrasing Assistance Using Automatic Quality Assessment.

[BibT_eX]

[DOI]

Arman Allahyari-Abhari

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

Automated feature localization for dynamically generated SystemC designs.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

A generic representation of CCSL time constraints for UML/MARTE models.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Verifying SystemC using stateful symbolic simulation.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

Reverse BDD-based synthesis for splitter-free optical circuits.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

Formal Specification Level - Concepts, Methods, and Algorithms.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-08698-9, 2015

2014

An Approach to Reversible Logic Synthesis Using Input and Output Permutations.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2014

Improved Cube List Based Cube Pairing Approach for Synthesis of ESOP Based Reversible Logic.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2014

Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Considering nearest neighbor constraints of quantum circuits at the reversible circuit level.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2014

Introduction to the Special Issue on Reversible Computation.

[BibT_eX]

[DOI]

Mehdi Baradaran Tahoori

ACM J. Emerg. Technol. Comput. Syst., 2014

An effective fault ordering heuristic for SAT-based dynamic test compaction techniques.

[BibT_eX]

[DOI]

it Inf. Technol., 2014

Testing integrated circuits.

[BibT_eX]

[DOI]

it Inf. Technol., 2014

Upper bounds for reversible circuits based on Young subgroups.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2014

Trading off circuit lines and gate costs in the synthesis of reversible logic.

[BibT_eX]

[DOI]

Integr., 2014

A framework for reversible circuit complexity.

[BibT_eX]

[DOI]

CoRR, 2014

Behaviour Driven Development for Tests and Verification.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 8th International Conference, 2014

iTac: Aspect Based Sentiment Analysis using Sentiment Trees and Dictionaries.

[BibT_eX]

[DOI]

Alvine Nzeungang Fanseu

Proceedings of the 8th International Workshop on Semantic Evaluation, 2014

Determining Cases of Scenarios to Improve Coverage in Simulation-based Verification.

[BibT_eX]

[DOI]

Shuo Yang

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014

Validating SystemC Implementations Against Their Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014

Self-Verification as the Key Technology for Next Generation Electronic Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014

RevVis: Visualization of Structures and Properties in Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

Equivalence Checking in Multi-level Quantum Systems.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

Mapping NCV Circuits to Optimized Clifford+T Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

Quantum Circuit Optimization by Hadamard Gate Reduction.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

Funktionale Abdeckungsanalyse von C-Programmen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Formale Methoden für Alle.

[BibT_eX]

Max Nitze

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

A Logic for Cardinality Constraints (Extended Abstract).

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit.

[BibT_eX]

[DOI]

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

Safe IP Integration Using Container Modules.

[BibT_eX]

[DOI]

Proceedings of the 2014 Fifth International Symposium on Electronic System Design, 2014

Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0".

[BibT_eX]

[DOI]

Proceedings of the Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, 2014

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.

[BibT_eX]

[DOI]

Judith Peters

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Exact routing for digital microfluidic biochips with temporary blockages.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Automated and quality-driven requirements engineering.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Automating the translation of assertions using natural language processing techniques.

[BibT_eX]

[DOI]

Christopher B. Harris

Ian G. Harris

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Automatic refinement checking for formal system models.

[BibT_eX]

[DOI]

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

MetaSMT: a unified interface to SMT-LIB2.

[BibT_eX]

[DOI]

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Verifying consistency between activity diagrams and their corresponding OCL contracts.

[BibT_eX]

[DOI]

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Optimization-based multiple target test generation for highly compacted test sets.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE European Test Symposium, 2014

Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2014

Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation.

[BibT_eX]

[DOI]

Shuo Yang

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Optimizing DD-based synthesis of reversible circuits using negative control lines.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

Towards verifying determinism of SystemC designs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Panel: Future SoC verification methodology: UVM evolution or revolution?

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Exact One-pass Synthesis of Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Der h2-lndex: Zur vermessenen Vermessung der wissenschaftlichen Welt.

[BibT_eX]

Marc Herbstritt

Proceedings of the Aspekte der Technischen Informatik, 2014

Optimal SWAP gate insertion for nearest neighbor quantum circuits.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Efficient synthesis of quantum circuits implementing clifford group operations.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2013

A formal model for embedded brain reading.

[BibT_eX]

[DOI]

Elsa Andrea Kirchner

Ind. Robot, 2013

Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

On quantum circuits employing roots of the Pauli matrices.

[BibT_eX]

[DOI]

CoRR, 2013

On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure.

[BibT_eX]

[DOI]

Arighna Deb

Debesh K. Das

Bhargab B. Bhattacharya

Proceedings of the Reversible Computation - 5th International Conference, 2013

Exploiting Negative Control Lines in the Optimization of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

Reducing the Depth of Quantum Circuits Using Additional Circuit Lines.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

The SyReC hardware description language: Enabling scalable synthesis of reversible circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE 56th International Midwest Symposium on Circuits and Systems, 2013

Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

PASSAT 2.0: A multi-functional SAT-based testing framework.

[BibT_eX]

[DOI]

Proceedings of the 14th Latin American Test Workshop, 2013

Data extraction from SystemC designs using debug symbols and the SystemC API.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Debugging of Reversible Circuits Using pDDs.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Exact Template Matching Using Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Incorporating User Preferences in Many-Objective Optimization using Relation Epsilon-Preferred.

[BibT_eX]

[DOI]

Proceedings of the IJCCI 2013, 2013

Grammar-based program generation based on model finding.

[BibT_eX]

[DOI]

Proceedings of the 8th International Design and Test Symposium, 2013

An evolutionary approach to reversible logic synthesis using output permutation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Design and Test Symposium, 2013

Towards automatic scenario generation from coverage information.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Improved SAT-based ATPG: more constraints, better compaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung.

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Minimal Stimuli Generation in Simulation-Based Verification.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Cone of Influence Analysis at the Electronic System Level Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Hardware-Software Co-Visualization: Developing systems in the holodeck.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

Towards a generic verification methodology for system models.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Determining relevant model elements for the verification of UML/OCL specifications.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Scalable fault localization for SystemC TLM designs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Verifying SystemC using an intermediate verification language and symbolic simulation.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Improving the mapping of reversible circuits to quantum circuits using multiple target lines.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

Exploiting reversibility in the complete simulation of reversible circuits.

[BibT_eX]

[DOI]

Simon Stelter

Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

A compact and efficient SAT encoding for quantum circuits.

[BibT_eX]

[DOI]

Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

2012

Automatic TLM Fault Localization for SystemC.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Equivalence Checking of Reversible Circuits.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

RevKit: A Toolkit for Reversible Circuit Design.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

Reducing Reversible Circuit Cost by Adding Lines.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

Foreword: Special Issue on Reversible Computation.

[BibT_eX]

[DOI]

Irek Ulidowski

J. Multiple Valued Log. Soft Comput., 2012

A Highly Fault-Efficient SAT-Based ATPG Flow.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2012

Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology - (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Progress in VLSI Design and Test - 16th International Symposium, 2012

Assisted Behavior Driven Development Using Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Using πDDs in the Design of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

A Synthesis Flow for Sequential Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

From Requirements and Scenarios to ESL Design in SystemC.

[BibT_eX]

[DOI]

Hoang M. Le

Proceedings of the International Symposium on Electronic System Design, 2012

Synthesis of Reversible Circuits Using Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Electronic System Design, 2012

FoREnSiC- An Automatic Debugging Environment for C Programs.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2012

Generating formal system models from natural language descriptions.

[BibT_eX]

[DOI]

Ian G. Harris

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

Behavior Driven Development for circuit design and verification.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

Completeness-Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

Complete and effective robustness checking by means of interpolation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Localizing features of ESL models for design understanding.

[BibT_eX]

[DOI]

Marc Michael

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Formal Specification Level.

[BibT_eX]

[DOI]

Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012

Formal Specification Level: Towards verification-driven design based on natural language processing.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Coverage-Driven Stimuli Generation.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

A new SAT-based ATPG for generating highly compacted test sets.

[BibT_eX]

[DOI]

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

Debugging of inconsistent UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Automatic design of low-power encoders using reversible circuit synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Eliminating invariants in UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

A guiding coverage metric for formal verification.

[BibT_eX]

[DOI]

Finn Haedicke

Marcio Ferreira da Silva Oliveira

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

The system verification methodology for advanced TLM verification.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

Synthesis of reversible circuits with minimal lines for large functions.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

High Quality Test Pattern Generation and Boolean Satisfiability.

[BibT_eX]

[DOI]

Springer, ISBN: 978-1-4419-9975-7, 2012

2011

Effective Robustness Analysis Using Bounded Model Checking Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

Synthesis of quantum circuits for linear nearest neighbor architectures.

[BibT_eX]

[DOI]

Mehdi Saeedi

Quantum Inf. Process., 2011

Debugging reversible circuits.

[BibT_eX]

[DOI]

Integr., 2011

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 5th International Conference, 2011

RevKit: An Open Source Toolkit for the Design of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

Towards automatic determination of problem bounds for object instantiation in static model verification.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Designing a RISC CPU in Reversible Logic.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Towards Automatic Property Generation for the Formal Verification of Bus Bridges.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011

Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

metaSMT: Focus on Your Application not on Solver Integration.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

Efficient realization of control logic in reversible circuits.

[BibT_eX]

[DOI]

Sebastian Offermann

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Analyzing dependability measures at the Electronic System Level.

[BibT_eX]

[DOI]

Marc Michael

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms.

[BibT_eX]

[DOI]

Alexander Finder

Proceedings of the Applications of Evolutionary Computation, 2011

Automatic property generation for the formal verification of bus bridges.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

TLM protocol compliance checking at the Electronic System Level.

[BibT_eX]

[DOI]

Mohamed Bawadekji

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

Determining the minimal number of lines for large reversible circuits.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

Verifying dynamic aspects of UML models.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

Improved Fault Diagnosis for Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Asian Test Symposium, 2011

Determining minimal testsets for reversible circuits using Boolean satisfiability.

[BibT_eX]

[DOI]

Proceedings of the AFRICON 2011, 2011

2010

Incremental Solving Techniques for SAT-based ATPG.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Synthese reversibler Logik (Synthesizing Reversible Logic).

[BibT_eX]

[DOI]

it Inf. Technol., 2010

Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits).

[BibT_eX]

[DOI]

it Inf. Technol., 2010

BDD-Based Synthesis of Reversible Logic.

[BibT_eX]

[DOI]

Int. J. Appl. Metaheuristic Comput., 2010

MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics.

[BibT_eX]

[DOI]

J. Electron. Test., 2010

Towards Fully Automatic Synthesis of Embedded Software.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2010

Automatic Fault Localization for SystemC TLM Designs.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010

Towards Unifying Localization and Explanation for Automated Debugging.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010

Proving transaction and system-level properties of untimed SystemC TLM designs.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

SyReC: A Programming Language for Synthesis of Reversible Circuits.

[BibT_eX]

Sebastian Offermann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Verifying UML/OCL Models Using Boolean Satisfiability.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Efficient Simulation-Based Debugging of Reversible Logic.

[BibT_eX]

[DOI]

Stefan Frehse

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions.

[BibT_eX]

[DOI]

Alexander Finder

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Using QBF to increase accuracy of SAT-based debugging.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Efficient test generation with maximal crosstalk-induced noise using unconstrained aggressor excitation.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

SAT-based ATPG for reversible circuits.

[BibT_eX]

[DOI]

Proceedings of the 5th International Design and Test Workshop, 2010

Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition.

[BibT_eX]

[DOI]

Proceedings of the 5th International Design and Test Workshop, 2010

Polynomial datapath optimization using constraint solving and formal modelling.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Towards analyzing functional coverage in SystemC TLM property checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Enhancing debugging of multiple missing control errors in reversible logic.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Automatic Fault Localization for Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the FORMS/FORMAT 2010, 2010

Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs.

[BibT_eX]

[DOI]

Proceedings of the 15th European Test Symposium, 2010

RobuCheck: a robustness checker for digital circuits.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010

Window optimization of reversible and quantum circuits.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Synthesizing multiplier in reversible logic.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

A better-than-worst-case robustness measure.

[BibT_eX]

[DOI]

Stefan Frehse

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Formal verification meets robustness checking - Techniques and challenges.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Reducing the number of lines in reversible circuits.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

Quality-Driven SystemC Design

[BibT_eX]

[DOI]

Springer, ISBN: 978-90-481-3630-8, 2010

Towards a Design Flow for Reversible Logic.

[BibT_eX]

[DOI]

Springer, ISBN: 978-90-481-9578-7, 2010

Debugging at the Electronic System Level.

[BibT_eX]

[DOI]

Frank Rogin

Springer, ISBN: 978-90-481-9254-0, 2010

2009

Non-Clausal SAT and ATPG.

[BibT_eX]

[DOI]

Tommi A. Junttila

Ilkka Niemelä

Proceedings of the Handbook of Satisfiability, 2009

Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Exact Synthesis of Elementary Quantum Gate Circuits.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2009

Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Efficient Satisfiability Solving Algorithms for Test Pattern Generation).

[BibT_eX]

[DOI]

it Inf. Technol., 2009

Advanced verification by automatic property generation.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2009

Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Reversible Computation, 2009

Weighted A* search - unifying view and application.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Reversible Logic Synthesis with Output Permutation.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

Automatic debugging of System-on-a-Chip designs.

[BibT_eX]

[DOI]

Frank Rogin

Steffen Rülke

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

WoLFram- A Word Level Framework for Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

Induction-Based Formal Verification of SystemC TLM Designs.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

Increasing the Accuracy of SAT-based Debugging.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Using a two-dimensional fault list for compact Automatic Test Pattern Generation.

[BibT_eX]

[DOI]

Proceedings of the 10th Latin American Test Workshop, 2009

Evaluation of Cardinality Constraints on SMT-Based Debugging.

[BibT_eX]

[DOI]

Proceedings of the ISMVL 2009, 2009

Approximate BDD Minimization by Weighted A.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009

Timing Arc based logic analysis for false noise reduction.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

Contradictory antecedent debugging in bounded model checking.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, 2009

SMT-based stimuli generation in the SystemC Verification library.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2009

Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE European Test Symposium, 2009

Robustness Check for Multiple Faults Using Formal Techniques.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

A fast untestability proof for SAT-based ATPG.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

Debugging of Toffoli networks.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Property analysis and design understanding.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Overcoming limitations of the SystemC data introspection.

[BibT_eX]

[DOI]

Christian Genz

Proceedings of the Design, Automation and Test in Europe, 2009

SWORD - Module-based SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

Formal Verification of Abstract SystemC Models.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

BDD-based synthesis of reversible logic for large functions.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

Computing bounds for fault tolerance using formal techniques.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

Speeding up SAT-Based ATPG Using Dynamic Clause Activation.

[BibT_eX]

[DOI]

Proceedings of the Eighteentgh Asian Test Symposium, 2009

Test Pattern Generation using Boolean Proof Engines.

[BibT_eX]

[DOI]

Springer, ISBN: 978-90-481-2359-9, 2009

2008

Analyzing Functional Coverage in Bounded Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Automatic Fault Localization for Property Checking.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

On Acceleration of SAT-Based ATPG for Industrial Designs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Logic Minimization and Testability of 2-SPP Networks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Modeling and proving functional completeness in formal verification of counting heads.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2008

On the construction of small fully testable circuits with low depth.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2008

Improved SAT-based Reachability Analysis with Observability Don't Cares.

[BibT_eX]

[DOI]

Sean Safarpour

Andreas G. Veneris

J. Satisf. Boolean Model. Comput., 2008

Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008

Debugging Design Errors by Using Unsatisfiable Cores.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

Adaptive Branch and Bound Using SAT to Estimate False Crosstalk.

[BibT_eX]

[DOI]

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

A Basis for Formal Robustness Checking.

[BibT_eX]

[DOI]

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

RevLib: An Online Resource for Reversible Functions and Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Comparative Study by Solving the Test Compaction Problem.

[BibT_eX]

[DOI]

Doina Logofatu

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

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

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

Using unsatisfiable cores to debug multiple design errors.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

Debugging Contradictory Constraints in Constraint-Based Random Simulation.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Contradiction Analysis for Constraint-based Random Simulation.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

Incremental SAT Instance Generation for SAT-based ATPG.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), 2008

Automatic Generation of Complex Properties for Hardware Designs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Slack Allocation Based Co-Synthesis and Optimization of Bus and Memory Architectures for MPSoCs.

[BibT_eX]

[DOI]

Sujan Pandey

Proceedings of the Design, Automation and Test in Europe, 2008

SAT-based Automatic Test Pattern Generation.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

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

[BibT_eX]

[DOI]

Sujan Pandey

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

Robustness and usability in modern design flows.

[BibT_eX]

Springer, ISBN: 978-1-4020-6535-4, 2008

2007

Technische Dokumentation von Soft- und Hardware in Eingebetteten Systemen (Technical Documentation of Soft- and Hardware in Embedded Systems).

[BibT_eX]

[DOI]

Beate Muranko

it Inf. Technol., 2007

Preface.

[BibT_eX]

[DOI]

Sabine Glesner

Jens Knoop

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Reusing Learned Information in SAT-based ATPG.

[BibT_eX]

[DOI]

Tim Warode

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

SWORD: A SAT like Prover Using Word Level Information.

[BibT_eX]

[DOI]

Proceedings of the VLSI-SoC: Advanced Topics on Systems on a Chip, 2007

Co-synthesis of custom on-chip bus and memory for MPSoC architectures.

[BibT_eX]

[DOI]

Sujan Pandey

Christian Genz

Proceedings of the IFIP VLSI-SoC 2007, 2007

Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Verbesserte SAT basierte Fehlerdiagnose durch Widerspruchanalyse.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Formal Verification on the Word Level using SAT-like Proof Techniques.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Improving the Quality of Bounded Model Checking by Means of Coverage Estimation.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

Modeling a Fully Scalable Reed-Solomon Encoder/Decoder over GF(p^{m}) in SystemC.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Experimental Studies on SAT-Based ATPG for Gate Delay Faults.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Visualization of SystemC Designs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

SAT-based ATPG for Path Delay Faults in Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

Hardware Project Management - What we Can Learn from the Software Development Process for Hardware Design?.

[BibT_eX]

Andreas Breiter

Proceedings of the ICSOFT 2007, 2007

Improvements for constraint solving in the systemc verification library.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Exact sat-based toffoli network synthesis.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

An Integrated SystemC Debugging Environment.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

Robust Multi-Objective Optimization in High Dimensional Spaces.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Multi-Criterion Optimization, 4th International Conference, 2007

Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.

[BibT_eX]

[DOI]

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

Instance Generation for SAT-based ATPG.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007

Estimating functional coverage in bounded model checking.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Improving Test Pattern Compactness in SAT-based ATPG.

[BibT_eX]

[DOI]

Proceedings of the 16th Asian Test Symposium, 2007

2006

Minimizing the number of paths in BDDs: Theory and algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Effect of improved lower bounds in dynamic BDD reordering.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Testability of SPP Three-Level Logic Networks in Static Fault Models.

[BibT_eX]

[DOI]

Valentina Ciriani

Anna Bernasconi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

An Integrated Approach for Combining BDD and SAT Provers.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Technical Documentation of Software and Hardware in Embedded Systems.

[BibT_eX]

[DOI]

Beate Muranko

Proceedings of the IFIP VLSI-SoC 2006, 2006

Automatic Test Pattern Generation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Hardware Verification, 2006

Technische Dokumentation von Soft- und Hardware-Systemen: Die vergessene Welt.

[BibT_eX]

Beate Muranko

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

SAT-based Calculation of Source Code Coverage for BMC.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

A Framework for Quasi-exact Optimization Using Relaxed Best-First Search.

[BibT_eX]

[DOI]

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

System Exploration of SystemC Designs.

[BibT_eX]

[DOI]

Christian Genz

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

Efficiency of Multi-Valued Encoding in SAT-based ATPG.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006

Integrating observability don't cares in all-solution SAT solvers.

[BibT_eX]

[DOI]

Sean Safarpour

Andreas G. Veneris

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

On the sensitivity of BDDs with respect to path-related objective functions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

HW/SW co-verification of embedded systems using bounded model checking.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30, 2006

Efficient Evolutionary Approaches for the Data Ordering Problem with Inversion.

[BibT_eX]

[DOI]

Doina Logofatu

Proceedings of the Applications of Evolutionary Computing, 2006

On the relation between simulation-based and SAT-based diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Avoiding false negatives in formal verification for protocol-driven blocks.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Efficient minimization of fully testable 2-SPP networks.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Combining ordered best-first search with branch and bound for exact BDD minimization.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Generic Implementation of Multi-Valued Logic Decision Diagram Packages.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2005

Exact BDD Minimization for Path-Related Objective Functions.

[BibT_eX]

[DOI]

Proceedings of the VLSI-SoC: From Systems To Silicon, 2005

SyCE: An Integrated Environment for System Design in SystemC.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

HW/SW Co-Verification of a RISC CPU using Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

PASSAT: Efficient SAT-Based Test Pattern Generation for Industrial Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Quasi-Exact BDD Minimization Using Relaxed Best-First Search.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Controlling the Memory During Manipulation of Word-Level Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

CheckSyC: an efficient property checker for RTL SystemC designs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Post-verification debugging of hierarchical designs.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

Utilizing don't care states in SAT-based bounded sequential problems.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005

Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors.

[BibT_eX]

[DOI]

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Acceleration of SAT-Based Iterative Property Checking.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Bridging fault testability of BDD circuits.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Lower bounds for dynamic BDD reordering.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Advanced BDD optimization.

[BibT_eX]

[DOI]

Springer, ISBN: 978-0-387-25453-1, 2005

Technische Informatik - eine Einführung.

[BibT_eX]

Paul Molitor

Pearson Studium, Pearson Education, ISBN: 978-3-8273-7092-1, 2005

2004

Synthesis of fully testable circuits from BDDs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

Method for Construction of Recursive Algorithms for Reed- Muller-Fourier Polarity Matrices Calculation.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2004

Towards Formal Verification on the System Level.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 2004

Checkers for SystemC designs.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

A Tight Lower Bound for Dynamic BDD Reordering.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Efficient (Non-)Reachability Analysis of Counterexamples.

[BibT_eX]

Burkhard Stubert

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Using Synthesis Techniques in SAT Solvers.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Reduction of Sizes of Multi-Valued Decision Diagrams by Copy Propertie.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

Algorithms for Taylor Expansion Diagrams.

[BibT_eX]

[DOI]

Maciej J. Ciesielski

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

Placement and routing optimization for circuits derived from BDDs.

[BibT_eX]

Thomas Eschbach

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Debugging sequential circuits using Boolean satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Disjoint Sum of Product Minimization by Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2004

BDD Circuit Optimization for Path Delay Fault Testability.

[BibT_eX]

[DOI]

Proceedings of the 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August, 2004

Managing Don't Cares in Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Improving simulation-based verification by means of formal methods.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

Minimization of the expected path length in BDDs based on local changes.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

An improved branch and bound algorithm for exact BDD minimization.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Exact Routing with Search Space Reduction.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2003

Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2003

Recursive bi-partitioning of netlists for large number of partitions.

[BibT_eX]

[DOI]

J. Syst. Archit., 2003

Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC.

[BibT_eX]

[DOI]

it Inf. Technol., 2003

Polynomial Formal Verification of Multipliers.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2003

Exploration of Sequential Depth by Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Stuck-At-Fault Testability of SPP Three-Level Logic Forms.

[BibT_eX]

[DOI]

Valentina Ciriani

Anna Bernasconi

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Testability of SPP Three-Level Logic Networks.

[BibT_eX]

Valentina Ciriani

Anna Bernasconi

Proceedings of the IFIP VLSI-SoC 2003, 2003

Finding Good Counter-Examples to Aid Design Verification.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Efficient Minimization of Multiple-valued Decision Diagrams for Incompletely Specified Functions.

[BibT_eX]

[DOI]

Denis V. Popel

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

Augmented Sifting of Multiple-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

Modeling Multi-Valued Circuits in SystemC.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

Formal verification of LTL formulas for SystemC designs.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Synthesizing checkers for on-line verification of System-on-Chip designs.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

BDD-based verification of scalable designs.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

MuTaTe: an efficient design for testability technique for multiplexor based circuits.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, 2003

Efficient Automatic Visualization of SystemC Designs.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2003

GAME-HDL: Implementation of Evolutionary Algorithms Using Hardware Description Languages.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2003

Fast Heuristics for the Edge Coloring of Large Graphs.

[BibT_eX]

[DOI]

Mario Hilgemeier

Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

Combination of Lower Bounds in Exact BDD Minimization.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Minimizing the number of one-paths in BDDs by an evolutionary algorithm.

[BibT_eX]

[DOI]

Mario Hilgemeier

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability.

[BibT_eX]

[DOI]

Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

Minimization of Transitions by Complementation and Resequencing using Evolutionary Algorithms.

[BibT_eX]

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs.

[BibT_eX]

[DOI]

Malgorzata Chrzanowska-Jeske

VLSI Design, 2002

Efficient Algorithms for Creation of Linearly-independent Decision Diagrams and their Mapping to Regular Layouts.

[BibT_eX]

[DOI]

Marek A. Perkowski

Bogdan J. Falkowski

VLSI Design, 2002

Minimization of free BDDs.

[BibT_eX]

[DOI]

Integr., 2002

Minimization of Word-Level Decision Diagrams.

[BibT_eX]

[DOI]

Integr., 2002

Verifying integrity of decision diagrams.

[BibT_eX]

[DOI]

Integr., 2002

A Genetic Algorithm for the Minimization of OPKFDDs.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Heuristic Learning Based on Genetic Programming.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2002

RTL-Datapath Verification using Integer Linear Programming.

[BibT_eX]

[DOI]

Raik Brinkmann

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Minimizing the Number of Paths in BDDs.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, 2002

Symbolic Simulation of Algorithms Specified in HDL.

[BibT_eX]

Klaus-Jürgen Englert

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Implementation and Visualization of a BDD Package in JAVA.

[BibT_eX]

Jochen Römmler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Low Power Optimization Techniques for BDD Mapped Finite State Machines.

[BibT_eX]

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Multi-Output Timed Shannon Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2002), 2002

On the Relation between SAT and BDDs for Equivalence Checking.

[BibT_eX]

[DOI]

Sherief Reda

Alex Orailoglu

Proceedings of the 3rd International Symposium on Quality of Electronic Design, 2002

On the Construction of Multiple-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002

Evaluation of Static Variable Ordering Heuristics for MDD Construction.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002

Switching activity estimation of finite state machines for low power synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

Crossing Reduction by Windows Optimization.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, 10th International Symposium, 2002

Decision Diagram Optimization Using Copy Properties.

[BibT_eX]

[DOI]

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

Reachability Analysis for Formal Verification of SystemC.

[BibT_eX]

[DOI]

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

2001

Using lower bounds during dynamic BDD minimization.

[BibT_eX]

[DOI]

Fabio Somenzi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Decision Diagram Method for Calculation of Pruned Walsh Transform.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2001

Binary decision diagrams in theory and practice.

[BibT_eX]

[DOI]

Detlef Sieling

Int. J. Softw. Tools Technol. Transf., 2001

Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment).

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 2001

History-based dynamic BDD minimization.

[BibT_eX]

[DOI]

Integr., 2001

Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits.

[BibT_eX]

[DOI]

J. Electron. Test., 2001

Performance Driven Optimization for MUX based FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001

Implementation of Read- k-times BDDs on Top of Standard BDD Packages.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001

GateComp: Equivalence Checking in CVE.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

Selection of Efficient Re-Ordering Heuristics for MDD Construction.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Speeding Up Verification of RTL Designs by Computing One-to-one Abstractions with Reduced Signal Widths.

[BibT_eX]

Peer Johannsen

Proceedings of the SOC Design Methodologies, 2001

Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence, 2001

Multi-objective Optimisation Based on Relation Favour.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Multi-Criterion Optimization, 2001

Minimization of OPKFDDs Using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

Level Assignment for Displaying Combinational Logic.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

Spectral decision diagrams using graph transformations.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

Low power optimization technique for BDD mapped circuits.

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2001, 2001

Utilizing High-Level Information for Formal Hardware Verification.

[BibT_eX]

[DOI]

Peer Johannsen

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

Tabular Techniques for MV Logic.

[BibT_eX]

[DOI]

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

Spectral techniques in VLSI CAD.

[BibT_eX]

Mitchell Aaron Thornton

Kluwer, ISBN: 978-0-7923-7433-6, 2001

2000

Fast exact minimization of BDD's.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

ACTion: Combining logic synthesis and technology mapping for MUX-based FPGAs.

[BibT_eX]

[DOI]

J. Syst. Archit., 2000

On the computational power of linearly transformed BDDs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2000

Boolean function representation and spectral characterization using AND/OR graphs.

[BibT_eX]

[DOI]

A. Zuzek

Integr., 2000

OKFDD minimization by genetic algorithms with application to circuit design.

[BibT_eX]

[DOI]

Integr., 2000

A Method for Approximate Equivalence Checking.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

Dynamic Re-Encoding During MDD Minimization.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

Lower Bound Sifting for MDDs.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

MDD-Based Synthesis of Multi-Valued Logic Networks.

[BibT_eX]

[DOI]

David Wessels

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

Computation of Spectral Information from Logic Netlists.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

Optimization of sequential verification by history-based dynamic minimization of BDDs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

Minimization of Ordered Pseudo Kronecker Decision Diagrams.

[BibT_eX]

[DOI]

Per Lindgren

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Specialized Hardware for Implementation of Evolutionary Algorithms.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Improving EAs for Sequencing Problems.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Evolutionary Synthesis of Multiplexor Circuits under Hardware Constraints.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Verification of Designs Containing Black Boxes.

[BibT_eX]

[DOI]

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Testability of Circuits Derived from Lattice Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System.

[BibT_eX]

[DOI]

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999

Evolutionary Algorithms for VLSI CAD [book Review].

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 1999

BDD minimization using symmetries.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Preudo-Kronecker Expressions for Symmetric Functions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1999

Testability of 2-Level AND/EXOR Circuits.

[BibT_eX]

[DOI]

J. Electron. Test., 1999

Grouping Heuristics for Word-Level Decision Diagrams.

[BibT_eX]

Marc Herbstritt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Exact channel routing using symbolic representation.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

Creating hard problem instances in logic synthesis using exact minimization.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

Minimization of BDDs using linear transformations based on evolutionary techniques.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

Design of experiments in CAD: context and new data sets for ISCAS'99.

[BibT_eX]

[DOI]

Franc Brglez

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

History-Based Dynamic Minimization During BDD Construction.

[BibT_eX]

Proceedings of the VLSI: Systems on a Chip, 1999

Synthesis of Pseudo Kronecker Lattice Diagrams.

[BibT_eX]

[DOI]

Per Lindgren

Proceedings of the IEEE International Conference On Computer Design, 1999

Efficient manipulation algorithms for linearly transformed BDDs.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Efficient Graph Coloring by Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence, 1999

Multi-objected Optimization in Evolutionary Algorithms Using Satisfiability Classes.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence, 1999

Generic Implementation of DD Packages in MVL.

[BibT_eX]

[DOI]

Proceedings of the 25th EUROMICRO '99 Conference, 1999

Generation of Optimal Universal Logic Modules.

[BibT_eX]

[DOI]

Proceedings of the 25th EUROMICRO '99 Conference, 1999

Checking Integrity During Dynamic Reordering in Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 25th EUROMICRO '99 Conference, 1999

Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Formal Verification of Word-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Using Lower Bounds During Dynamic BDD Minimization.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Power Consumption in XOR-Based Circuits.

[BibT_eX]

[DOI]

Yibin Ye

Kaushik Roy

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

Exploiting Don't Caers During Data Sequencing using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998

The complexity of the inclusion operation on OFDD's.

[BibT_eX]

[DOI]

Martin Sauerhoff

Detlef Sieling

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

On Variable Ordering and Decomposition Type Choice in OKFDDs.

[BibT_eX]

[DOI]

Andrea Jahnke

IEEE Trans. Computers, 1998

Implementing a Multiple-Valued Decision Diagram Package.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions.

[BibT_eX]

[DOI]

Per Lindgren

Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

Linear Transformations and Exact Minimization of BDDs.

[BibT_eX]

[DOI]

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

Dynamic Minimization of Word-Level Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

Fast Exact Minimization of BDDs.

[BibT_eX]

[DOI]

Proceedings of the 35th Conference on Design Automation, 1998

ETDD-Based Synthesis of Term-Based FPGAs for Incompletely Specified Boolean Functions.

[BibT_eX]

[DOI]

Gueesang Lee

Proceedings of the ASP-DAC '98, 1998

Manipulation of *BMDs.

[BibT_eX]

[DOI]

Proceedings of the ASP-DAC '98, 1998

Graphenbasierte Funktionsdarstellung - Boolesche und Pseudo-Boolesche Funktionen.

[BibT_eX]

Leitfäden der Informatik, Teubner, ISBN: 978-3-519-02149-0, 1998

Binary Decision Diagrams - Theory and Implementation.

[BibT_eX]

[DOI]

Springer, ISBN: 978-0-7923-8193-8, 1998

1997

Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

On the Expressive Power of OKFDDs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1997

The K*BMD: A Verification Data Structure.

[BibT_eX]

[DOI]

Stefan Ruppertz

IEEE Des. Test Comput., 1997

Pseudo Kronecker Expressions for Symmetric Functions.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

(Quasi-) Linear Path Delay Fault Tests for Adders.

[BibT_eX]

[DOI]

Sudhakar M. Reddy

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Decision Diagrams in Synthesis - Algorithms, Applications and Extensions.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Manipulation Algorithms for K*BMDs.

[BibT_eX]

[DOI]

Stefan Ruppertz

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Circuit Design from Kronecker Galois Field Decision Diagrams for Multiple-Valued Functions.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams.

[BibT_eX]

[DOI]

Craig M. Files

Marek A. Perkowski

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

Fault Simulation in Sequential Multi-Valued Logic Networks.

[BibT_eX]

[DOI]

Martin Keim

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions.

[BibT_eX]

[DOI]

Martin Keim

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

Functional simulation using binary decision diagrams.

[BibT_eX]

[DOI]

Christoph Scholl

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Fast and efficient construction of BDDs by reordering based synthesis.

[BibT_eX]

[DOI]

Andreas Hett

Proceedings of the European Design and Test Conference, 1997

Learning heuristics for OKFDD minimization by evolutionary algorithms.

[BibT_eX]

[DOI]

Nicole Göckel

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

On the representational power of bit-level and word-level decision diagrams.

[BibT_eX]

[DOI]

Reinhard Enders

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

1996

Ordered Kronecker functional decision diagrams und ihre Anwendung.

[BibT_eX]

[DOI]

PhD thesis, 1996

Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1996

Learning Heuristics for OBDD Minimization by Evolutionary Algorithms.

[BibT_eX]

[DOI]

Nicole Göckel

Proceedings of the Parallel Problem Solving from Nature, 1996

Verification of Multi-Valued Logic Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

MORE: an alternative implementation of BDD packages by multi-operand synthesis.

[BibT_eX]

[DOI]

Andreas Hett

Proceedings of the conference on European design automation, 1996

K*BMDs: A New Data Structure for Verification.

[BibT_eX]

[DOI]

Stefan Ruppertz

Proceedings of the 1996 European Design and Test Conference, 1996

A Fast Optimal Robust Path Delay Fault Testable Adder.

[BibT_eX]

[DOI]

Proceedings of the 1996 European Design and Test Conference, 1996

AND/EXOR based Synthesis of Testable KFDD-Circuits with Small Depth.

[BibT_eX]

[DOI]

Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995

On the generation of area-time optimal testable adders.

[BibT_eX]

[DOI]

Paul Molitor

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

A Genetic Algorithm for Decomposition Type Choice in OKFDDs.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1995

On the Relation between BDDs and FDDs.

[BibT_eX]

[DOI]

Ralph Werchner

Inf. Comput., 1995

On local transformations and path delay fault testability.

[BibT_eX]

[DOI]

Harry Hengster

J. Electron. Test., 1995

On the application of local circuit transformations with special emphasis on path delay fault testability.

[BibT_eX]

[DOI]

Harry Hengster

Proceedings of the 13th IEEE VLSI Test Symposium (VTS'95), April 30, 1995

On the Relation Betwen BDDs and FDDs.

[BibT_eX]

[DOI]

Ralph Werchner

Proceedings of the LATIN '95: Theoretical Informatics, 1995

Random Pattern Fault Simulation in Multi-Valued Circuits.

[BibT_eX]

[DOI]

Rolf Krieger

Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

Dynamic minimization of OKFDDs.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

A Genetic Algorithm for Minimization of Fixed Polarity Reed-Muller Expressions.

[BibT_eX]

[DOI]

Nicole Göckel

Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

OKFDDs versus OBDDs and OFDDs.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Synthesis for testability: circuits derived from ordered Kronecker functional decision diagrams.

[BibT_eX]

[DOI]

Proceedings of the 1995 European Design and Test Conference, 1995

How many decomposition types do we need? [decision diagrams].

[BibT_eX]

[DOI]

Proceedings of the 1995 European Design and Test Conference, 1995

Learning heuristics by genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995

1994

Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault Model.

[BibT_eX]

[DOI]

Harry Hengster

Proceedings of the Seventh International Conference on VLSI Design, 1994

Efficient Graph Based Representation of Multi-Valued Functions with an Application to Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

OFDD Based Minimization of Fixed Polarity Reed-Muller Expressions Using Hybrid Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Fast OFDD based minimization of fixed polarity Reed-Muller expressions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings EURO-DAC'94, 1994

BiTeS: a BDD based test pattern generator for strong robust path delay faults.

[BibT_eX]

[DOI]

Proceedings of the Proceedings EURO-DAC'94, 1994

Testability of Circuits Derived from Functional Decision Diagrams.

[BibT_eX]

[DOI]