Author:
Kaergel Michael,Olbrich Markus,Barke Erich
Reference17 articles.
1. Accellera Systems Initiative. SystemC. http://www.accellera.org.
2. G. Al-Sammane, M. H. Zaki, and S. Tahar. A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pages 249--254, 2007.
3. L. H. de Figueiredo and J. Stolfi. Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monograph, 1997.
4. G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler. SpaceEx: Scalable Verification of Hybrid Systems. In Proceedings of the 23rd International Conference on Computer-aided Verification (CAV), pages 379--395, 2011.
5. D. Grabowski, C. Grimm, and E. Barke. Semi-Symbolic Modeling and Simulation of Circuits and Systems. In Proceeding of the IEEE International Symposium on Circuits and Systems (ISCAS), pages 983--986, 2006.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FPGA-implementation techniques to efficiently test application readiness of mixed-signal products;2023 IFIP/IEEE 31st International Conference on Very Large Scale Integration (VLSI-SoC);2023-10-16