A formal method for the specification, analysis, and design of register-transfer level digital logic

Authors:
Louis Hafer;Alice C. Parker
Affiliations:
-;-
Venue:
DAC '81 Proceedings of the 18th Design Automation Conference
Year:
1981

Citing 2
Cited 4

Optimal selection of functional components for microprogrammable central processing units

MICRO 5 Conference record of the 5th annual workshop on Microprogramming
A technology-relative computer-aided design system: Abstract representations, transformations, and design tradeoffs

DAC '78 Proceedings of the 15th Design Automation Conference

Optimum and heuristic data path scheduling under resource constraints

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Automated Synthesis of Digital Hardware

IEEE Transactions on Computers
An Abstract Model of Behavior for Hardware Descriptions

IEEE Transactions on Computers
Microprogramming: the challenges of VLSI

AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper describes a method for formally modelling digital logic using algebraic relations. The types of relations necessary for modelling digital logic at the register-transfer (RT) level are developed. An extension of the model is shown which can be used for logic synthesis at the RT level.1