Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy

Antonio Anastasio Bruto da Costa, Pallab Dasgupta. Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy. In 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, VLSID 2017, Hyderabad, India, January 7-11, 2017. pages 233-238, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.