Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Gerald Alexander Koroa"'
Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits
Autor:
Yeremia Gunawan Adhisantoso, Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Markus Olbrich
Publikováno v:
NEWCAS
With the advancements in analog/mixed-signal (AMS) systems and continuously shrinking design sizes, there is an increased demand for reliable verification to ensure correct behavior. To overcome this obstacle, using formal verification is a promising
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21e416105a5d0d616408430d5cdcf64a
https://doi.org/10.1109/newcas49341.2020.9159822
https://doi.org/10.1109/newcas49341.2020.9159822
Autor:
Malgorzata Rechmal-Lesse, Yeremia Gunawan Adhisantoso, Markus Olbrich, Gerald Alexander Koroa
Publikováno v:
DDECS
In contrast to the formal verification of digital circuits, analog formal verification requires appropriate tolerances of the device parameters. Enclosing these tolerances in set-valued models leads to unwanted overapproximation. In this paper, we pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e62eb17eb651bb091a58ad502cc0042
https://doi.org/10.1109/ddecs50862.2020.9095655
https://doi.org/10.1109/ddecs50862.2020.9095655
Autor:
Markus Olbrich, Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso
Publikováno v:
Microelectronics Reliability. 121:114119
This paper tackles the analog and mixed-signal modeling for verification challenges. It proposes an adjustable automated modeling approach, which provides set-valued models with reduced overapproximation. The models reliably enclose parameter variati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1bfd686d3170e4e128f4b641067d3fd8
https://doi.org/10.1016/j.microrel.2021.114119
https://doi.org/10.1016/j.microrel.2021.114119
Publikováno v:
NORCAS
An RF mixer is one of the key elements in wireless telecommunication systems, which is used for example for modulation and demodulation. Due to the fact, that such a functionality can only be achieved by a nonlinear system, it is crucial that the non
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4bb8e1587b2f4a9fc60f6af2e29c2ce
https://doi.org/10.1109/norchip.2017.8124950
https://doi.org/10.1109/norchip.2017.8124950