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
Language-based
100%
Control Logic
100%
Automated Approach
100%
Control Flow
75%
Reversible Control
75%
Circuit Description
25%
Design Challenges
25%
Reverse Direction
25%
Reversible Circuit Design
25%
Conditional Statement
25%
Language Description
25%
Hoare Logic
25%
Predicate Transformer
25%
Automatic Method
25%
SyReC
25%
Forward Computation
25%
Backward Calculation
25%
Computing Paradigm
25%
Reversible Computation
25%
Design Steps
25%
Semantic Bases
25%
Computer Science
Hardware Description Languages
100%
Control Flow
75%
Conditional Statement
25%
Emerging Technology
25%
Reverse Direction
25%
Automatic Solution
25%
Forward Computation
25%
Design Challenge
25%
computing paradigm
25%