Toggle Main Menu Toggle Search

Open Access padlockePrints

Petri Net Models of Metastable Operations in Latch Circuits

Lookup NU author(s): Dr Fei Xia, Dr Ian Clark, Professor Alex Yakovlev



Data communications between concurrent processes often employ shared latch circuitry of some kind, the most basic being a simple flip-flop which is written by one process and read by another, providing an inter-process assignment operation of a single bit binary variable. When the processes concerned do not operate in a synchronised fashion, metastable transients are possible inside shared latches. A method of deriving discrete Petri net models for such latches, covering possible metastable behaviour, is proposed. Both the local onset of metastability and the effects of metastable input signals are considered in the representation.

Publication metadata

Author(s): Xia F, Clark IG, Yakovlev A, Davies AC

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1998

Pages: 11

Print publication date: 01/01/1998

Source Publication Date: 1998

Report Number: 627

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne