@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)...}
}