Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Alexandre Donzé, Axel Legay. Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. In Hana Chockler, Alan J. Hu, editors, Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Volume 5394 of Lecture Notes in Computer Science, pages 149-163, Springer, 2008. [doi]

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Alexandre Donzé' in GoogleThis author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL