Loading [a11y]/accessibility-menu.js
Formal Modelling of Burst-Mode Specifications in a Distributed Environment | IEEE Conference Publication | IEEE Xplore

Formal Modelling of Burst-Mode Specifications in a Distributed Environment


Abstract:

Generalised fundamental mode is an important timing assumption for implementing digital circuits, where the environment is assumed to wait for the circuit to stabilise be...Show More

Abstract:

Generalised fundamental mode is an important timing assumption for implementing digital circuits, where the environment is assumed to wait for the circuit to stabilise before producing new inputs. In particular, Burst-Mode (BM) timing assumption states that the circuit must wait until a complete input burst has arrived and the environment must wait until a complete output burst is produced. However, this timing assumption may be difficult to enforce in a distributed environment, if each part only observes a subset of the circuit’s output burst.In this paper, we address the above by proposing two formal modelling methodologies: 1) Design by Signal Transition Graphs (STGs), and 2) Design by our new model called Burst Automata (BAs). STGs are flexible as they express many behaviours, while BAs extends the BM methodology and enables interoperability between many different models. Our experimental results show improved synthesis success rates and significant reduction in literal count.
Date of Conference: 14-16 September 2022
Date Added to IEEE Xplore: 25 October 2022
ISBN Information:
Print on Demand(PoD) ISSN: 1636-9874
Conference Location: Linz, Austria

References

References is not available for this document.