@entry{gie-xam-gan-mit-19-aa-missign, author = {G Gielen and N Xama and K Ganesan...}, title = {Review of methodologies for pre-and post-silicon analog verification in mixed-signal SOCs}, journal = {2019 Design, Automation ...,}, volume = {}, number = {}, pages = {}, year = 2019, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/8714828/?casa_token=Q9tRJ7kfwP4AAAAA:XteBEu9QnmFjLedpu5KZ5P0o62nUo2_TFfZvxrhZvPenRcLDz2o6lZQmSxce9TxAyPzkAjxi}}}, quotes = {... 2) Affine arithmetic: The second group of formal methods uses some form of affine ... An extension to affine arithmetics is introduced in [5], [6] as the Extended Affine Arithmetic Form (XAAF)...} }