Author:
Saglamdemir Muharrem Orkun,Dundar Gunhan,Sen Alper
Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software
Reference19 articles.
1. Verification of transient response of linear analog circuits;Balivada;IEEE VLSI Test Symposium,1995
2. Frequency response verification of analog circuits using global optimization techniques;Seshadri;J. Electron. Test.,2001
3. B.C. Lim, J. Kim, M.A. Horowitz, An efficient test vector generation for checking analog/mixed-signal functional models, in: Design Automation Conference, 2010.
4. M. Horowitz, M. Jeeradit, F. Lau, S. Liao, B.C. Lim, J. Mao, Fortifying analog models with equivalence checking and coverage analysis, Design Automation Conference, 2010.
5. L. Hedrich, E. Barke, A formal approach to nonlinear analog circuit verification, in: IEEE/ACM International Conference on Computer-Aided Design, 1995.