Switched-capacitor simulation models for full-chips verification.
Tom ChanakRakesh ChadhaKishore SinghalPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1992)
Keyphrases
- simulation models
- simulation model
- agent based simulation
- model checking
- high speed
- simulation tools
- integrated circuit
- high density
- power supply
- verification method
- functional verification
- computer systems
- face verification
- mathematical model
- formal verification
- transmission line
- asynchronous circuits
- high resolution