Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays.
Radhakrishna NagallaGraham R. HellestrandPublished in: Formal Methods Syst. Des. (1994)
Keyphrases
- asynchronous circuits
- delay insensitive
- signal processing
- high frequency
- graph model
- process algebra
- random walk
- directed graph
- planar graphs
- non stationary
- frequency domain
- model checking
- constraint satisfaction
- constraint programming
- graph theory
- compressive sensing
- nano scale
- heart rate
- np hard
- linear constraints
- graph theoretic
- weighted graph
- graph structure
- connected components
- high speed
- semi supervised
- wavelet transform