|
 | Up a level |
Sukumar, Jairam and Bhat, Navakanta and Lata, Kusum and Roy, Subir K (2010) Formal Verification of Hybrid Automotive Systems. [Book Chapter]
Lata, Kusum and Roy, Subir K and Jamadagni, HS (2009) Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces. In: 2009. ASQED 2009. 1st Asia Symposium on Quality Electronic Design, 15-16 July 2009, Kuala Lumpur.
Lata, Kusum and Jamadagni, HS (2009) Formal Verification of Full-Wave Rectifier: A Case Study. In: IEEE 8th International Conference on ASIC, OCT 20-23, 2009, Changsha, pp. 1306-1309.
