Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Kurshan, R., McMillan, K.: Analysis of digital circuits through symbolic reduction. IEEE Transactions on Computer-Aided Design 10(11), 1356–1371 (1991)
2. Hartong, W., Hedrich, L., Barke, E.: Model checking algorithms for analog verification. In: Proceedings of the 39th ACM/IEEE Design Automation Conference, June 2002, pp. 542–547 (2002)
3. Little, S., Seegmiller, N., Walter, D., Myers, C., Yoneda, T.: Verification of analog/mixed-signal circuits using labeled hybrid petri nets. In: Proceedings of the International Conference on Computer Aided Design, November 2006, pp. 275–282 (2006)
4. Lecture Notes in Computer Science;G. Frehse,2005
5. Hirsch, M.W., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, San Diego (1974)