Author:
Rechmal-Lesse Malgorzata,Adhisantoso Yeremia Gunawan,Koroa Gerald Alexander,Olbrich Markus
Funder
Deutsche Forschungsgemeinschaft
Subject
Electrical and Electronic Engineering,Surfaces, Coatings and Films,Safety, Risk, Reliability and Quality,Condensed Matter Physics,Atomic and Molecular Physics, and Optics,Electronic, Optical and Magnetic Materials
Reference20 articles.
1. Analog circuit simulation using range arithmetics;Grabowski,2008
2. Enclosing the modeling error in analog behavioral models using neural networks and affine arithmetic;Krause,2012
3. Hierarchical verification of ams systems with affine arithmetic decision diagrams;Zivkovic;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2018
4. Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis;Lin,2013
5. Verification of analog and mixed-signal circuits using hybrid system techniques;Dang,2004