Asynchronous circuit synthesis with Boolean satisfiability

Jun Gu; R. Puri

doi:10.1109/43.402496

Asynchronous circuit synthesis with Boolean satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.402496 ◽

1995 ◽

Vol 14 (8) ◽

pp. 961-973 ◽

Cited By ~ 21

Author(s):

Jun Gu ◽

R. Puri

Keyword(s):

Boolean Satisfiability ◽

Circuit Synthesis ◽

Asynchronous Circuit

Download Full-text

A Bundled-Data Asynchronous Circuit Synthesis Flow Using a Commercial EDA Framework

2015 Euromicro Conference on Digital System Design ◽

10.1109/dsd.2015.104 ◽

2015 ◽

Cited By ~ 5

Author(s):

Matheus Gibiluka ◽

Matheus Trevisan Moreira ◽

Ney Laert Vilar Calazans

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit

Download Full-text

A visual approach for asynchronous circuit synthesis

Proceedings Tenth International Conference on VLSI Design ◽

10.1109/icvd.1997.568099 ◽

2002 ◽

Author(s):

R. Nagalla ◽

G. Hellestrand

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit ◽

Visual Approach

Download Full-text

A modular partitioning approach for asynchronous circuit synthesis

32nd Design Automation Conference ◽

10.1145/196244.196278 ◽

1994 ◽

Cited By ~ 11

Author(s):

Ruchir Puri ◽

Jun Gu

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit

Download Full-text

Optimised state assignment for asynchronous circuit synthesis

Proceedings Second Working Conference on Asynchronous Design Methodologies ◽

10.1109/wcadm.1995.514649 ◽

2002 ◽

Cited By ~ 10

Author(s):

C. Ykman-Couvreur ◽

B. Lin

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit ◽

State Assignment

Download Full-text

Output-Determinacy and Asynchronous Circuit Synthesis

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) ◽

10.1109/acsd.2007.57 ◽

2007 ◽

Cited By ~ 1

Author(s):

Victor Khomenko ◽

Mark Schaefer ◽

Walter Vogler

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit

Download Full-text

Composition of dependency graphs for asynchronous circuit synthesis based on synchronous circuit scheduling

Electronics and Communications in Japan (Part III Fundamental Electronic Science) ◽

10.1002/1520-6440(200012)83:12<70::aid-ecjc8>3.0.co;2-9 ◽

2000 ◽

Vol 83 (12) ◽

pp. 70-77

Author(s):

Hiroto Kagotani ◽

Takuji Okamoto ◽

Takashi Nanya

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit ◽

Dependency Graphs

Download Full-text

Low Normalized Energy Derivation Asynchronous Circuit Synthesis Flow through Fork-Join Slack Matching for Cryptographic Applications

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.3850/9783981537079_0132 ◽

2016 ◽

Cited By ~ 1

Author(s):

Nan Liu ◽

Kwen-Siong Chong ◽

Weng-Geng Ho ◽

Bah-Hwee Gwee ◽

Joseph S. Chang

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit ◽

Flow Through

Download Full-text

An object-oriented CAE Framework for asynchronous Circuit Synthesis

Electronic Design Automation Frameworks ◽

10.1007/978-0-387-34880-3_20 ◽

1995 ◽

pp. 199-208

Author(s):

U. Baake ◽

S. A. Huss

Keyword(s):

Object Oriented ◽

Circuit Synthesis ◽

Asynchronous Circuit

Download Full-text

Methodology and tools for state encoding in asynchronous circuit synthesis

33rd Design Automation Conference Proceedings, 1996 ◽

10.1145/240518.240531 ◽

1996 ◽

Cited By ~ 3

Author(s):

Jordi Cortadella ◽

Michael Kishinevsky ◽

Alex Kondratyev ◽

Luciano Lavagno ◽

Alex Yakovlev

Keyword(s):

Circuit Synthesis ◽

Asynchronous Circuit ◽

State Encoding

Download Full-text

SPOCK: Static performance analysis and deadlock verification for efficient asynchronous circuit synthesis

2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2015.7372603 ◽

2015 ◽

Cited By ~ 7

Author(s):

ChunHong Shih ◽

YiHsiang Lai ◽

JieHong R. Jiang

Keyword(s):

Performance Analysis ◽

Circuit Synthesis ◽

Asynchronous Circuit ◽

Static Performance

Download Full-text