Piecewise Linear Modeling of Nonlinear devices for Formal Verification of Analog Circuits
Conference Proceeding
Overview
publication date
- October 22, 2012
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Zhang Y; Sankaranarayanan S; Somenzi F
author count
- 3
citation count
- 14
presented at event
Additional Document Info
start page
- 196
end page
- 203