Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces-Reference-Cited by-同舟云学术

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces

Published: Issue: Volume: Page:114-128
ISSN:
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Little Scott,Walter David,Jones Kevin,Myers Chris

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75596-8_10.pdf

Reference15 articles.

1. Lecture Notes in Computer Science;W. Hartong,2002

2. Lecture Notes in Computer Science;T. Dang,2004

3. Frehse, G., Krogh, B.H., Rutenbar, R.A.: Verifying analog oscillator circuits using forward/backward refinement. In: Proc. Design, Automation and Test in Europe (DATE), pp. 257–262. IEEE Computer Society Press, Los Alamitos (2006)

4. Little, S., Seegmiller, N., Walter, D., Myers, C., Yoneda, T.: Verification of analog/mixed-signal circuits using labeled hybrid petri nets. In: ICCAD. Proc. International Conference on Computer Aided Design, pp. 275–282. IEEE Computer Society Press, Los Alamitos (2006)

5. Walter, D., Little, S., Seegmiller, N., Myers, C.J., Yoneda, T.: Symbolic model checking of analog/mixed-signal circuits. In: Asia and South Pacific Design Automation Conference (ASPDAC), pp. 316–323 (2007)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface;Formal Methods for Industrial Critical Systems;2014

2. Towards Reliable E-Government Systems with the OTS/CafeOBJ Method;IEICE Transactions on Information and Systems;2010