Paper Info
Title
Practical synthesis of speed-independent circuits using unfoldings
Abstract
In this paper, we present a practical synthesis method using unfoldings which are based on partial order semantics and hence free of state space explosion inherently. In addition, we suggest several conditions for basic gate implementation in order to enhance practicality of the suggested method
Year
DOI
Venue
1998
10.1109/ASPDAC.1998.669442
ASP-DAC
Keywords
Field
DocType
state-space methods,speed-independent circuits synthesis,state space explosion,unfoldings,logic design,partial order semantics,logic circuits,hazards,concurrent computing,design methodology,petri nets
Logic synthesis,Logic gate,Petri net,Computer science,Real-time computing,Design methods,Concurrent computing,Electronic circuit,State space,Semantics
Conference
ISBN
Citations 
PageRank 
0-7803-4425-1
0
0.34
References 
Authors
6
2
Name
Order
Citations
PageRank
Uisok Kim100.34
Dongik Lee27714.46