Complete state encoding based on the theory of regions
Visualitza/Obre
Cita com:
hdl:2117/129509
Tipus de documentText en actes de congrés
Data publicació1996
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) and/or State Graphs (SGs) involves solving state coding problems. A well-known example of such problems is that of Complete State Coding (CSC), which happens when a pair of different states in an SG has the same binary encoding. A standard way to approach state coding conflicts is to add new state signals into the original specification in such a way that the original behaviour remains intact. Existing methods have not yet been able to provide such theoretical foundation for event insertion, that could yield efficient practical results when applied to large models. This paper aims at presenting such a general framework, which is based on two fundamental concepts. One is a region of states in an abstract labelled SG (called a Transition System). Regions correspond to places in the associated STG. The second concept is a speed-independence preserving set, which is strongly related to the implementability of the model in logic. Regions and their intersections offer “nice” structural properties that make them efficient “construction blocks” for event insertion. The application of our theory, through the software tool “petrify”, to state graphs of large size has proved to be successful.
CitacióCortadella, J. [et al.]. Complete state encoding based on the theory of regions. A: International Symposium on Advanced Research in Asynchronous Circuits and Systems. "Second International Symposium on Advanced Research in Asynchronous Circuits and Systems: March 18-21, 1996 Aizu-Wakamatsu, Fukushima, Japan: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 1996, p. 36-47.
ISBN0-8186-7298-6
Versió de l'editorhttps://ieeexplore.ieee.org/document/494436
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
00494436.pdf | 1,340Mb | Visualitza/Obre |