Search Results - "Soeken, M."

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits by Soeken, M., Sasanian, Z., Wille, R., Miller, D. M., Drechsler, R.

“…This paper considers the optimization of reversible circuits composed of multiple-control Toffoli gates to quantum circuits using the well-known NCV-1 (NCV)…”
Get full text

Improving the mapping of reversible circuits to quantum circuits using multiple target lines by Wille, R., Soeken, M., Otterstedt, C., Drechsler, R.

“…The efficient synthesis of quantum circuits is an active research area. Since many of the known quantum algorithms include a large Boolean component (e.g. the…”
Get full text

Wave pipelining for majority-based beyond-CMOS technologies by Zografos, O., De Meester, A., Testa, E., Soeken, M., Gaillardon, P.-E, De Micheli, G., Amaru, L., Raghavan, P., Catthoor, F., Lauwereins, R.

“…The performance of some emerging nanotechnologies benefits from wave pipelining. The design of such circuits requires new models and algorithms. Thus we show…”
Get full text

Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines by Wille, R., Soeken, M., Przigoda, N., Drechsler, R.

“…The development of synthesis approaches for reversible circuits is an active research area. Besides heuristic methods, also exact synthesis received…”
Get full text

Exact Template Matching Using Boolean Satisfiability by Abdessaied, N., Soeken, M., Wille, R., Drechsler, R.

“…Reversible logic is an emerging research area that has shown promising results in applications such as quantum computing, low power design, and optical…”
Get full text

Debugging of inconsistent UML/OCL models by Wille, R., Soeken, M., Drechsler, R.

“…While being a de-facto standard for the modeling of software systems, the Unified Modeling Language (UML) is also increasingly used in the domain of hardware…”
Get full text

Verifying dynamic aspects of UML models by Soeken, M, Wille, R, Drechsler, R

“…The Unified Modeling Language (UML) as a defacto standard for software development finds more and more application in the design of systems which also contain…”
Get full text

A Synthesis Flow for Sequential Reversible Circuits by Soeken, M., Wille, R., Otterstedt, C., Drechsler, R.

“…In this paper, a synthesis flow for sequential reversible circuits is proposed. In particular, a methodology is introduced which transforms a finite state…”
Get full text

Debugging of Reversible Circuits Using pDDs by Tague, L., Soeken, M., Minato, S., Drechsler, R.

“…Different kinds of decision diagrams have played key roles in advancements for the synthesis of reversible circuits in the recent past. In this work, decision…”
Get full text

Eliminating invariants in UML/OCL models by Soeken, M., Wille, R., Drechsler, R.

“…In model-based design, it is common and helpful to use invariants in order to highlight restrictions or to formulate characteristics of a design. In contrast…”
Get full text

Designing a RISC CPU in Reversible Logic by Wille, R., Soeken, M., Grosse, D., Schönborn, E., Drechsler, R.

“…Driven by its promising applications, reversible logic received significant attention. As a result, an impressive progress has been made in the development of…”
Get full text

Synthesis of reversible circuits with minimal lines for large functions by Soeken, M., Wille, R., Hilken, C., Przigoda, N., Drechsler, R.

“…Reversible circuits are an emerging technology where all computations are performed in an invertible manner. Motivated by their promising applications, e.g. in…”
Get full text

Behavior Driven Development for circuit design and verification by Diepenbeck, M., Soeken, M., Grose, D., Drechsler, R.

“…The design of hardware systems is a challenging and erroneous task where about 70% of the effort in designing these systems is spent on verification. In…”
Get full text

Formal Specification Level: Towards verification-driven design based on natural language processing by Drechsler, R., Soeken, M., Wille, R.

“…The steadily increasing complexity of the design of embedded systems led to the development of both an elaborated design flow that includes various abstraction…”
Get full text

Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition by Soeken, M, Wille, R, Drechsler, R

“…Synthesis of reversible circuits is an important research area providing the basis for a design flow of this emerging technology. Recently, in the development…”
Get full text

Hardware-Software Co-Visualization: Developing systems in the holodeck by Drechsler, R., Soeken, M.

“…Modern systems consisting of hardware and software are becoming more and more complex. The underlying data of next generation systems will consist of billions…”
Get full text

Circuit Line Minimization in the HDL-Based Synthesis of Reversible Logic by Wille, R., Soeken, M., Schonborn, E., Drechsler, R.

“…In the last decade, reversible circuits have been extensively investigated due to their application in emerging areas such as quantum computation or low-power…”
Get full text

Automatic property generation for the formal verification of bus bridges by Soeken, M, Kuhne, U, Freibothe, M, Fe, G, Drechsler, R

“…The automatic verification of designs is a challenging task and of high interest due to increasing time-to-market constraints. In this paper, we focus on the…”
Get full text

Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability by Wille, R., Grosse, D., Soeken, M., Drechsler, R.

“…Optimization problems can be solved using Boolean satisfiability by mapping them to a sequence of decision problems. Therefore, in the last years several…”
Get full text