Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph.
Kuan-Jen LinChi-Wen KuoChen-Shang LinPublished in: IEEE Trans. Computers (1997)
Keyphrases
- asynchronous circuits
- delay insensitive
- process algebra
- graph representation
- graph theory
- random walk
- model checking
- bipartite graph
- directed graph
- spanning tree
- graph model
- directed acyclic graph
- graph matching
- texture synthesis
- undirected graph
- graph theoretic
- graph based algorithm
- connected components
- structured data
- graph mining
- neural network
- minimum spanning tree
- random graphs
- dependency graph
- program synthesis
- functional programs