DMCA
An Efficient Unique State Coding Algorithm for Signal Transition Graphs (1993)
| Venue: | In Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Pastor93anefficient,
author = {Enric Pastor and Jordi Cortadella},
title = {An Efficient Unique State Coding Algorithm for Signal Transition Graphs},
booktitle = {In Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors},
year = {1993},
pages = {174--177}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Current algorithms to force the Complete State Coding (CSC) property for Signal Transition Graphs work on the State Graph and, therefore require exponential time and space. Polynomial algorithms have been only proposed for Marked Graphs. In this paper, a P-time algorithm for Unique State Coding (USC) is presented. Although more restrictive than CSC, it is shown that the USC property can be efficiently guaranteed for large STGs. Several experiments evidence that the obtained results are even better than those generated by exponential-time techniques. 1 Introduction Signal Transition Graphs (STGs) are a subclass of interpreted Petri nets originally presented in [1] for the specification of asynchronous circuits. Since then, different synthesis techniques have been proposed in order to automatically produce hazard-free implementations [9, 7]. One of the necessary conditions for an STG to be implementable is the Complete State Coding (CSC) property, which guarantees that different states...
Keyphrases
signal transition graph efficient unique state coding algorithm complete state coding state graph p-time algorithm unique state coding interpreted petri net exponential-time technique signal transition graph work asynchronous circuit different synthesis technique marked graph necessary condition polynomial algorithm different state introduction signal transition graph current algorithm usc property exponential time large stgs several experiment evidence hazard-free implementation
