Semantics of digital circuits
type: Item
instance of: scholarly article
title: Semantics of digital circuits
zbMATH Open document ID: 0637.94021
author: Carlos Delgado Kloos
published in: Lecture Notes in Computer Science
publication date: 1987-01-01T00:00:00Z
review text: Because of the considerable progress in hardware, a need arose, as well as in software, for an adequate mathematical methodology in the design process. In the last years, theories and languages attempted the formalization of various aspects of hardware description and verification. In such a context, this book is a new and interesting approach for formally describing the behavior of digital integrated circuits; the STREAM (acronym for STandard REpresentation of Algorithms for Microelectronics) language is presented, upon which a methodology of design and development of digital systems can be built. STREAM is a language for processing streams, i.e. sequences of finite or infinite length defined on a basic domain, and which allows the description of concurrent systems. After a textual and graphical representation of the syntax and semantics of the language, a chapter is devoted to the translation of the procedural programs into STREAM. The use of this language for the description of digital circuits at different levels of complexity is the aim of an important part of the book. Thus, modifying the basic domains for the streams, the author applies the STREAM language to successively describe synchronous modules (at register transfer level), asynchronous circuits (at gate level) and MOS circuits (at switch level).
Mathematics Subject Classification ID: 94C10
Mathematics Subject Classification ID: 94C15
Mathematics Subject Classification ID: 94-02
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 4039803
zbMATH Keywords: hardware description language
zbMATH Keywords: stream net
zbMATH Keywords: digital integrated circuits
zbMATH Keywords: concurrent systems
zbMATH Keywords: STREAM language
zbMATH Keywords: synchronous modules
zbMATH Keywords: register
zbMATH Keywords: asynchronous circuits
zbMATH Keywords: gate
zbMATH Keywords: MOS circuits
zbMATH Keywords: switch
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4039803