Deriving electrical dependencies from circuit topologies using logic grammar.
Takushi TanakaPublished in: Int. J. Reason. based Intell. Syst. (2011)
Keyphrases
- electronic circuits
- digital circuits
- logic synthesis
- delay insensitive
- low voltage
- multi valued
- chip design
- short circuit
- high speed
- logic circuits
- dependency structure
- asynchronous circuits
- micron cmos
- circuit design
- printed circuit boards
- equivalent circuit
- power grid
- inside outside algorithm
- natural language
- formal language
- context free grammars
- analog circuits
- knowledge representation
- flip flops
- grammatical inference
- modal logic
- low power
- physical characteristics
- relational databases
- power system
- transmission line
- logical framework
- proof theory
- classical logic
- dependency analysis
- defeasible logic
- deontic logic
- dependency graph
- neural network