Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre. High-level symbolic simulation for automatic model extraction. In Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic. pages 218-221, IEEE Computer Society, 2009. [doi]
Abstract is missing.