@entry{lah-ari-zak-tah-17-aa,
  author = {O Lahiouel and H Aridhi and MH Zaki and S Tahar},
  title = {Exploiting bounds optimization for the semi-formal verification of analog circuits},
  journal = {Integration,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.sciencedirect.com/science/article/pii/S0167926017303991?casa_token=hbOLsgA7bbUAAAAA:iII2Z2yyxLivPy3Y3Cf_dJpxStzLKC8rvyt6oXeJGqaEYD0JV3dNc1HH6_tBbDE9UJQcxLvf}}},
  quotes = {This paper proposes a semi-formal methodology for modeling and verification of analog circuits behavioral properties using multivariate optimization techniques. Analog circuit ...}
}