Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Saurabh K. Tiwary"'
Publikováno v:
ICCAD
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a SPICE-type circuit simulation problem as a satisfiability problem. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c92ebcc302b56f22380db37ad9c85424
https://doi.org/10.1145/1687399.1687401
https://doi.org/10.1145/1687399.1687401
Publikováno v:
VLSI Design
Scaling with Moore’s law is taking us to feature sizes of 32nm and smaller. At these technology nodes designers are faced with an explosion in design complexity at all levels. In this tutorial we discuss three somewhat novel and particularly confou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1cffc88b5335ca2c3af34267b58a4dbb
https://doi.org/10.1109/vlsi.design.2009.119
https://doi.org/10.1109/vlsi.design.2009.119
Autor:
Rob A. Rutenbar, Saurabh K. Tiwary
Publikováno v:
CICC
Trajectory methods offer an attractive methodology for automated extraction of macromodels from a set of training simulations. A pervasive concern with models based on regression is the lack of certainty about where they fit correctly. The authors sh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7d3a5755cb16696613fe3c6d7feb01b
https://doi.org/10.1109/cicc.2006.320884
https://doi.org/10.1109/cicc.2006.320884
Publikováno v:
DAC
Pareto surfaces in the performance space determine the range of feasible performance values for a circuit topology in a given technology. We present a non-dominated sorting based global optimization algorithm to generate the nominal pareto front effi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a6ee66df7dc27fc2383b045177ef037
https://doi.org/10.1145/1146909.1146921
https://doi.org/10.1145/1146909.1146921
Autor:
Rob A. Rutenbar, Saurabh K. Tiwary
Publikováno v:
ICCAD
Trajectory-based methods offer an attractive methodology for automated, on-demand generation of macro-models for custom circuits. These models are generated by sampling the state trajectory of a circuit as it simulates in the time domain, and buildin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6aa0de3bd9975a5f711ee8fa1a6c9df
https://doi.org/10.1145/1233501.1233685
https://doi.org/10.1145/1233501.1233685
Autor:
Rob A. Rutenbar, Saurabh K. Tiwary
Publikováno v:
DAC
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations created at a suitably spaced subset of the time points visited during trainin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3aa02b48f8e5441451f8b83db3896a03
https://doi.org/10.1145/1065579.1065686
https://doi.org/10.1145/1065579.1065686