Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits.
Gianpiero CabodiPaolo CamuratiLuciano LavagnoStefano QuerPublished in: DAC (1997)
Keyphrases
- symbolic reasoning
- electronic circuits
- data structure
- partitioning algorithm
- high speed
- symbolic representation
- information systems
- vlsi circuits
- delay insensitive
- digital circuits
- data driven
- image processing
- neural network
- low power
- tree structure
- iterative methods
- search space
- asynchronous circuits
- symbolic data
- high level
- knowledge base