A symbolic equation modeler for electric circuits.
Takuya HirataKazuya YamaguchiIchijo HodakaPublished in: ACM Commun. Comput. Algebra (2015)
Keyphrases
- symbolic representation
- numerical solution
- tunnel diode
- high speed
- circuit design
- analog vlsi
- differential equations
- vlsi circuits
- symbolic reasoning
- real time
- digital circuits
- power supply
- numerical methods
- modeling language
- lateral inhibition
- information systems
- binary decision diagrams
- logic synthesis
- chip design
- power distribution networks
- delay insensitive
- hamilton jacobi
- logic circuits
- symbolic data
- asynchronous circuits
- mathematical model
- search engine
- artificial intelligence