Analysis and identification of speed-independent circuits on an event model
type: Item
instance of: scholarly article
title: Analysis and identification of speed-independent circuits on an event model
zbMATH Open document ID: 0786.94023
DOI: 10.1007/BF01383956
author: V. Pereyra
published in: Formal Methods in System Design
publication date: 1994-02-17T00:00:00Z
Mathematics Subject Classification ID: 94C10
zbMATH DE Number: 502992
zbMATH Keywords: verification
zbMATH Keywords: asynchronous circuits
zbMATH Keywords: speed independence
zbMATH Keywords: delay insensitivity
zbMATH Keywords: event specification
zbMATH Keywords: signal graph
zbMATH Keywords: specification
MaRDI profile type: Publication
cites work: Q5558258
cites work: Semi-modularity and testability of speed-independent circuits
cites work: Q5532570
cites work: Marked directed graphs
description: scientific article; zbMATH DE number 502992