Synthesis of timed circuits based on decomposition

Update Item Information
Publication Type journal article
School or College College of Engineering
Department Electrical & Computer Engineering
Creator Myers, Chris J.
Other Author Yoneda, Tomohiro
Title Synthesis of timed circuits based on decomposition
Date 2007
Description Abstract-This paper presents a decomposition-based method for timed circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesizes each output individually. It begins by contracting the timed signal transition graph (STG) to include only transitions on the output of interest and its possible trigger signals. Next, the reachable state space for this contracted STG is analyzed to determine a minimal number of additional signals, which must be reintroduced into the STG to obtain complete state coding. The circuit for this output is then synthesized from this STG. Results show that the quality of the circuit implementation is nearly as good as the one found from the full reachable state space, but it can be applied to find circuits for which full-state-space methods cannot be successfully applied. The proposed method has been implemented as a part of our tool Nii-Utah Timed Asynchronous circuit Synthesis system (nutas), and its first version is available at http://research.nii.ac.jp/~yoneda.
Type Text
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Volume 26
Issue 7
First Page 1
Last Page 19
Language eng
Bibliographic Citation Yoneda, T., & Myers, C. J. (2007). Synthesis of timed circuits based on decomposition. IEEE Transactions on CAD, 26(7), 1-19. July.
Rights Management (c) 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Format Medium application/pdf
Format Extent 528,554 bytes
Identifier ir-main,14972
ARK ark:/87278/s6514grk
Setname ir_uspace
ID 706213
Reference URL https://collections.lib.utah.edu/ark:/87278/s6514grk