Hardware composition with hardware flowcharts and process algebras

Juin Yeu Joseph Lu, Jang Dae Kim, Shiu Kai Chin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Algorithmic state machine (ASM) descriptions or hardware flowcharts have been used successfully to describe and verify large systems like the IBM 3081. Hardware flowcharts are intuitively appealing in their specification of control flow and data path operations. Nevertheless, previous mechanizations of hardware flowcharts lacked a formal semantics which prevented 1) a rigorous analysis of implementations refined from ASM descriptions, and 2) the ability to equate composed ASM descriptions to purely behavioral descriptions. To address these concerns, we describe an algorithmic register transfer language which has a formal semantics along with an algebra which is used to reason about composed ASM descriptions.

Original languageEnglish (US)
Title of host publicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
PublisherIEEE Computer Society
Pages352-364
Number of pages13
StatePublished - 1996
Externally publishedYes
EventProceedings of the 1996 2nd IEEE International Conference on Engineering of Complex Computer Systems - Montreal, Can
Duration: Oct 21 1996Oct 25 1996

Other

OtherProceedings of the 1996 2nd IEEE International Conference on Engineering of Complex Computer Systems
CityMontreal, Can
Period10/21/9610/25/96

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Hardware composition with hardware flowcharts and process algebras'. Together they form a unique fingerprint.

  • Cite this

    Lu, J. Y. J., Kim, J. D., & Chin, S. K. (1996). Hardware composition with hardware flowcharts and process algebras. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (pp. 352-364). IEEE Computer Society.