Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Robert Wille
*
, Oliver Keszocze, Lars Othmer,
Michael Kirkedal Thomsen
, Rolf Drechsler
*
Corresponding author for this work
Department of Computer Science
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'An automated approach for generating and checking control logic for reversible hardware description language-based designs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Automated Approach
100%
Automatic Method
25%
Backward Calculation
25%
Circuit Description
25%
Computing Paradigm
25%
Conditional Statement
25%
Control Flow
75%
Control Logic
100%
Design Challenges
25%
Design Steps
25%
Forward Computation
25%
Hoare Logic
25%
Language Description
25%
Language-based
100%
Predicate Transformer
25%
Reverse Direction
25%
Reversible Circuit Design
25%
Reversible Computation
25%
Reversible Control
75%
Semantic Bases
25%
SyReC
25%
Computer Science
Automatic Solution
25%
computing paradigm
25%
Conditional Statement
25%
Control Flow
75%
Design Challenge
25%
Emerging Technology
25%
Forward Computation
25%
Hardware Description Languages
100%
Reverse Direction
25%