Simulation and Verification of Electronic and Biological Systems (Q3075325)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulation and Verification of Electronic and Biological Systems |
scientific article |
Statements
Simulation and Verification of Electronic and Biological Systems (English)
0 references
15 February 2011
0 references
parallel transistor-level circuit simulation
0 references
SPICE
0 references
fast-SPICE simulation
0 references
structure-preserving model order reduction
0 references
weakly coupled oscillator networks
0 references
dynamic stability of static memories
0 references
biomolecular system dynamics
0 references
analog verification
0 references
formal verification
0 references
analog circuits
0 references
