Show simple item record

dc.contributor.authorCortadella, Jordi
dc.contributor.authorKishinevsky, Michael
dc.contributor.authorKondratyev, Alex
dc.contributor.authorLavagno, Luciano
dc.contributor.authorYakovlev, Alex
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2018-12-13T13:41:15Z
dc.date.available2018-12-13T13:41:15Z
dc.date.issued1997-08
dc.identifier.citationCortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A. A region-based theory for state assignment in speed-independent circuits. "IEEE transactions on computer-aided design of integrated circuits and systems", Agost 1997, vol. 16, núm. 8, p. 793-812.
dc.identifier.issn0278-0070
dc.identifier.urihttp://hdl.handle.net/2117/125782
dc.description.abstractState assignment problems still need satisfactory solutions to make asynchronous circuit synthesis more practical. A well-known example of such a problem is that of complete state coding (CSC), which happens when a pair of different states in a specification has the same binary encoding. A standard way to approach state coding conflicts is to insert new state signals into the original specification in such a way that the original behavior remains intact. This paper proposes a method which improves over existing approaches by coupling generality, optimality, and efficiency. The method is based on the use of a class of “ground objects”, called regions, that play the role of a bridge between state-based specifications (transition systems, TS's) and event-based specifications (signal transition graphs, STG's), We need to deal with both types of specification because designers usually prefer a timing diagram-like notation, such as STG, while optimization and cost analysis work better at the state level. A region in a transition system is a set of states that corresponds to a place in an STG (or the underlying Petri net). Regions are tightly connected with a set of properties that are to be preserved across the state encoding process, namely, 1) trace equivalence between the original and the encoded specification, and 2) implementability as a speed-independent circuit. We will build on a theoretical body of work that has shown the significance of regions for such property-preserving transformations, and describe a set of algorithms aimed at efficiently solving the encoding problem. The algorithms have been implemented in a software tool called petrify. Unlike many existing tools, petrify represents the encoded specification as an STG. This significantly improves the readability of the result (compared to a state-based description in which concurrency is represented implicitly by interleaving), and allows the designer to be more closely involved in the synthesis process. The efficiency of the method is demonstrated on a number of “difficult” examples.
dc.format.extent20 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica
dc.subject.lcshLogic design
dc.subject.lcshAsynchronous circuits
dc.subject.otherLogic CAD
dc.subject.otherPetri nets
dc.subject.otherSignal flow graphs
dc.subject.otherState assignment
dc.titleA region-based theory for state assignment in speed-independent circuits
dc.typeArticle
dc.subject.lemacEstructura lògica
dc.subject.lemacCircuits asíncrons
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1109/43.644602
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://ieeexplore.ieee.org/document/644602
dc.rights.accessOpen Access
local.identifier.drac1636435
dc.description.versionPostprint (published version)
local.citation.authorCortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
local.citation.publicationNameIEEE transactions on computer-aided design of integrated circuits and systems
local.citation.volume16
local.citation.number8
local.citation.startingPage793
local.citation.endingPage812


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record