Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar.
Takushi TanakaPublished in: KES (2) (2009)
Keyphrases
- electronic circuits
- logic synthesis
- digital circuits
- chip design
- multi valued
- delay insensitive
- low voltage
- logic circuits
- formal language
- asynchronous circuits
- context free grammars
- transmission line
- high speed
- inside outside algorithm
- short circuit
- equivalent circuit
- natural language
- modal logic
- dependency structure
- classical logic
- physical characteristics
- deontic logic
- micron cmos
- flip flops
- predicate logic
- broad coverage
- dependency graph
- proof theory
- network topologies
- circuit design
- linguistic knowledge
- logical framework
- low power
- dependency analysis
- power electronics
- power dissipation