Analog Circuit Verification: a State of an Art

Oded Maler

doi:10.1016/j.entcs.2006.02.020

Analog Circuit Verification: a State of an Art

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.02.020 ◽

2006 ◽

Vol 153 (3) ◽

pp. 3-7

Author(s):

Oded Maler

Keyword(s):

Analog Circuit ◽

Circuit Verification

Download Full-text

Formal approaches to analog circuit verification

2009 Design, Automation & Test in Europe Conference & Exhibition ◽

10.1109/date.2009.5090759 ◽

2009 ◽

Cited By ~ 8

Author(s):

E. Barke ◽

D. Grabowski ◽

H. Graeb ◽

L. Hedrich ◽

S. Heinen ◽

...

Keyword(s):

Analog Circuit ◽

Circuit Verification

Download Full-text

A causal reasoning-based approach for analog circuit verification

2015 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) ◽

10.1109/smacd.2015.7301711 ◽

2015 ◽

Cited By ~ 1

Author(s):

Fanshu Jiao ◽

Alex Doboli

Keyword(s):

Causal Reasoning ◽

Analog Circuit ◽

Circuit Verification

Download Full-text

A framework for analog circuit verification

10.1109/iscas.1990.111906 ◽

2002 ◽

Author(s):

T.M. Kelessoglou ◽

D.O. Pederson

Keyword(s):

Analog Circuit ◽

Circuit Verification

Download Full-text

Analog circuit verification by statistical model checking

16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) ◽

10.1109/aspdac.2011.5722168 ◽

2011 ◽

Cited By ~ 6

Author(s):

Ying-Chih Wang ◽

Anvesh Komuravelli ◽

Paolo Zuliani ◽

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Statistical Model ◽

Analog Circuit ◽

Statistical Model Checking ◽

Circuit Verification

Download Full-text

Feature-Based State Space Coverage Metric for Analog Circuit Verification

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-62920-9_5 ◽

2017 ◽

pp. 83-101

Author(s):

Andreas Fürtig ◽

Sebastian Steinhorst ◽

Lars Hedrich

Keyword(s):

State Space ◽

Analog Circuit ◽

Circuit Verification ◽

Feature Based

Download Full-text

Causal reasoning mining approach to analog circuit verification

Integration ◽

10.1016/j.vlsi.2016.04.002 ◽

2016 ◽

Vol 55 ◽

pp. 376-383 ◽

Cited By ~ 2

Author(s):

Fanshu Jiao ◽

Alex Doboli

Keyword(s):

Causal Reasoning ◽

Analog Circuit ◽

Circuit Verification

Download Full-text

A formal approach to nonlinear analog circuit verification

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480002 ◽

2002 ◽

Cited By ~ 14

Author(s):

L. Hedrich ◽

E. Barke

Keyword(s):

Analog Circuit ◽

Formal Approach ◽

Circuit Verification ◽

Nonlinear Analog

Download Full-text

The Case for Analog Circuit Verification

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.02.018 ◽

2006 ◽

Vol 153 (3) ◽

pp. 53-63 ◽

Cited By ~ 12

Author(s):

Chris J. Myers ◽

Reid R. Harrison ◽

David Walter ◽

Nicholas Seegmiller ◽

Scott Little

Keyword(s):

Analog Circuit ◽

Circuit Verification

Download Full-text

Designing Dynamic Circuit Response (Analog Circuit Design Series: Volume 2)

10.1049/sbcs014e ◽

2010 ◽

Author(s):

D. Feucht

Keyword(s):

Circuit Design ◽

Analog Circuit ◽

Analog Circuit Design

Download Full-text

MOSFET modeling and parameter extraction for low temperature analog circuit design

Journal de Physique IV (Proceedings) ◽

10.1051/jp420020035 ◽

2002 ◽

Vol 12 (3) ◽

pp. 51-56 ◽

Cited By ~ 6

Author(s):

P. Martin ◽

M. Bucher ◽

C. Enz

Keyword(s):

Low Temperature ◽

Circuit Design ◽

Analog Circuit ◽

Parameter Extraction ◽

Analog Circuit Design

Download Full-text