Formal Verification of Synthesized Analog Designs (1999)

View PDF

Download Links

by Abhijit Ghosh , Ranga Vemuri , Dr. Ranga Vemuri
Venue:In: International Conference on Computer Design
Citations:14 - 0 self

Active Bibliography

11 Behavioral Synthesis of Analog Systems using Two-Layered Design Space Exploration – Alex Doboli, Adrian Nunez-Aldana, Nagu Dhanwada, Sree Ganesan, Ranga Vemuri - 1999
10 An Analog Performance Estimator for Improving the Effectiveness – Adrian Nunez-aldana, Ranga Vemuri - 1999
6 A VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems – Alex Doboli, Ranga Vemuri - 1999
239 Compositional Modeling: Finding the Right Model for the Job – Brian Falkenhainer, Kennethd Forbus - 1991
Two Level Performance Estimator for High Level Synthesis of Analog Integrated Circuits with Feedback – Adrián Nuñez-Aldana, Ranga Vemuri
207 The PERFECT Club Benchmarks: Effective Performance Evaluation of Supercomputers – M. Berry, D. Chen, P. Koss, D. Kuck, S. Lo, Y. Pang, L. Pointer, R. Roloff, A. Sameh, E. Clementi, S. Chin, D. Schneider, G. Fox, P. Messina, D. Walker, C. Hsiung, J. Schwarzmeier, K. Lue, S. Orszag, F. Seidl, O. Johnson, R. Goodrum - 1988
66 Optimal design of a CMOS op-amp via geometric programming – Maria Del Mar Hershenson, Stephen P. Boyd, Thomas H. Lee - 2001
135 Taming Heterogeneity - The Ptolemy Approach – Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong - 2003
5 The Definition of a VHDL-AMS Subset for Behavioral Synthesis of Analog Systems – Alex Doboli, Ranga Vemuri - 1998