A unified signal transition graph model for asynchronous control circuit synthesis

IEEE/ACM International Conference on Computer-Aided Design ◽

10.1109/iccad.1992.279390 ◽

1992 ◽

Author(s):

Yakovlev ◽

Lavagno ◽

Sangiovanni-Vincentelli

Keyword(s):

Graph Model ◽

Control Circuit ◽

Circuit Synthesis ◽

Transition Graph ◽

Signal Transition Graph ◽

Asynchronous Control

Download Full-text

A unified signal transition graph model for asynchronous control circuit synthesis

Formal Methods in System Design ◽

10.1007/bf00122081 ◽

1996 ◽

Vol 9 (3) ◽

pp. 139-188 ◽

Author(s):

Alexandre Yakovlev ◽

Luciano Lavagno ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Graph Model ◽

Control Circuit ◽

Circuit Synthesis ◽

Transition Graph ◽

Signal Transition Graph ◽

Asynchronous Control

Download Full-text

Polynomial Complexity Asynchronous Control Circuit Synthesis of Concurrent Specifications Based on Burst-Mode FSM Decomposition

2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems ◽

10.1109/vlsid.2013.196 ◽

2013 ◽

Author(s):

Pavlos M. Mattheakis ◽

Christos P. Sotiriou

Keyword(s):

Polynomial Complexity ◽

Control Circuit ◽

Circuit Synthesis ◽

Asynchronous Control

Download Full-text

Signal transition graph based logic synthesis for asynchronous control circuits using template based method

TENCON 2007 - 2007 IEEE Region 10 Conference ◽

10.1109/tencon.2007.4428851 ◽

2007 ◽

Author(s):

Sufian Sudeng ◽

Arthit Thongtak

Keyword(s):

Logic Synthesis ◽

Transition Graph ◽

Signal Transition Graph ◽

Asynchronous Control ◽

Control Circuits

Download Full-text

A generalized signal transition graph model for specification of complex interfaces

Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC ◽

10.1109/edtc.1994.326848 ◽

2002 ◽

Author(s):

P. Vanbekbergen ◽

C. Ykman-Couvreur ◽

B. Lin ◽

H. De Man

Keyword(s):

Graph Model ◽

Transition Graph ◽

Signal Transition Graph

Download Full-text

Signal transition graph constraints for speed-independent circuit synthesis

1993 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.1993.394066 ◽

2002 ◽

Author(s):

R. Puri ◽

J. Gu

Keyword(s):

Circuit Synthesis ◽

Transition Graph ◽

Signal Transition Graph ◽

Graph Constraints

Download Full-text

The Signal Transition Graph Model

Algorithms for Synthesis and Testing of Asynchronous Circuits ◽

10.1007/978-1-4615-3212-5_4 ◽

1993 ◽

pp. 121-176 ◽

Author(s):

Luciano Lavagno ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Graph Model ◽

Transition Graph ◽

Signal Transition Graph

Download Full-text

Signal transition graph constraints for speed-independent circuit synthesis

1993 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.1993.692991 ◽

2005 ◽

Author(s):

R. Puri ◽

Jun Cu

Keyword(s):

Circuit Synthesis ◽

Transition Graph ◽

Signal Transition Graph ◽

Graph Constraints

Download Full-text

Design and Test of Self-checking Asynchronous Control Circuit

Lecture Notes in Computer Science - Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ◽

10.1007/978-3-540-74442-9_31 ◽

2007 ◽

pp. 320-329 ◽

Author(s):

Jian Ruan ◽

Zhiying Wang ◽

Kui Dai ◽

Yong Li

Keyword(s):

Control Circuit ◽

Asynchronous Control

Download Full-text

A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model

IEEE Access ◽

10.1109/access.2019.2892649 ◽

2019 ◽

Vol 7 ◽

pp. 14947-14958

Author(s):

Zhao Lv ◽

Shuming Chen ◽

Tingrong Zhang ◽

Yaohua Wang

Keyword(s):

Graph Model ◽

Functional Verification ◽

Transition Graph ◽

Verification Method ◽

Stage Transition

Download Full-text

A Control Circuit Synthesis Method for Asynchronous Circuits in Bundled-Data Implementation

7th IEEE International Conference on Computer and Information Technology (CIT 2007) ◽

10.1109/cit.2007.92 ◽

2007 ◽

Author(s):

Takao Konishi ◽

Naohiro Hamada ◽

Hiroshi Saito

Keyword(s):

Synthesis Method ◽

Asynchronous Circuits ◽

Control Circuit ◽

Circuit Synthesis

Download Full-text