Augmented Parity Check Codes for Encoding of Asynchronous Sequential Machines
- 1 October 1973
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-22 (10) , 891-896
- https://doi.org/10.1109/t-c.1973.223614
Abstract
Critical races can be avoided in the binary encoding of asynchronous sequential machines by making use of general codes employing-multistep changes in secondary variables to accomplish transitions between states. The shortest length code of this type presently available is Huffman's internmeshed row set code, which encodes race-free any 2SO-row flow table with 2So-1 bits. In this paper, a new class of codes called augmented parity check codes (APC codes) is introduced and proposed for race-free encoding. Some of the properties of these codes suggest that minimum codes may require only on the order of So+ log2SObits.Keywords
This publication has 0 references indexed in Scilit: