论文信息 - A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic

A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic

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.

Alice C. Parker | Louis J. Hafer

[1] Keki B. Irani,et al. Optimal selection of functional components for microprogrammable central processing units , 1972, MICRO 5.

[2] David Leary Hinshaw. Optimal selection of functional hardware units for microprogram controlled central processing units , 1972 .

[3] J. Meigs,et al. WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[4] Ignacio E. Grossmann,et al. Applications of mixed-integer linear programming in process synthesis , 1980 .

[5] S. J. McFarland,et al. The value trace : a data base for automated digital design , 1978 .

[6] Daniel P. Siewiorek,et al. A Technology-Relative Computer-Aided Design System: Abstract Representations, Transformations, and Design Tradeoffs , 1978, 15th Design Automation Conference.

[7] Wesley W. Chu,et al. Task Allocation in Distributed Data Processing , 1980, Computer.