✦ LIBER ✦
Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance
✍ Scribed by Leyi Yin, ; Yue Deng, ; Peng Li,
- Book ID
- 121312098
- Publisher
- IEEE
- Year
- 2013
- Tongue
- English
- Weight
- 852 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0278-0070
No coin nor oath required. For personal study only.