IEEE - Institute of Electrical and Electronics Engineers, Inc. - A verifier for network decompositions of command-based specifications

Author(s): Ebergen, J.C. ; Gingras, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Wailea, HI, USA
Conference Date: 8 January 1993
Volume: i
ISBN (Paper): 0-8186-3230-5
DOI: 10.1109/HICSS.1993.270634
Regular:

An automatic verifier for speed-independent circuits is discussed. All specifications of components are given in a CSP-like notation called commands. Specifications are implemented by networks of... View More

Advertisement