@entry{rad-gri-sch-rat-13-aa-mixsig, author = {C Radojicic and C Grimm and F Schupfer...}, title = {Verification of mixed-signal systems with affine arithmetic assertions}, journal = {VLSI Design,}, volume = {}, number = {}, pages = {}, year = 2013, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://downloads.hindawi.com/archive/2013/239064.pdf}}}, quotes = {... Beside analog domain, Affine Arithmetic models can also be used ... Affine Arithmetic is combined with the assertion-based technology. Concretely, assertions based on Affine Arithmetic (...} }