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 ◽

Author(s):

Fanshu Jiao ◽

Alex Doboli

Keyword(s):

Causal Reasoning ◽

Analog Circuit ◽

Circuit Verification

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 ◽

Author(s):

Fanshu Jiao ◽

Alex Doboli

Keyword(s):

Causal Reasoning ◽

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 ◽

Author(s):

E. Barke ◽

D. Grabowski ◽

H. Graeb ◽

L. Hedrich ◽

S. Heinen ◽

...

Keyword(s):

Analog Circuit ◽

Circuit Verification

Download Full-text

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

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 ◽

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 ◽

Download Full-text

Knowledge-Intensive, Causal Reasoning for Analog Circuit Topology Synthesis in Emergent and Innovative Applications

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 ◽

10.7873/date.2015.0345 ◽

2015 ◽

Author(s):

Fanshu Jiao ◽

Sergio Montano ◽

Alex Doboli

Keyword(s):

Causal Reasoning ◽

Analog Circuit ◽

Circuit Topology ◽

Knowledge Intensive

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 ◽

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 ◽

Author(s):

Chris J. Myers ◽

Reid R. Harrison ◽

David Walter ◽

Nicholas Seegmiller ◽

Scott Little

Keyword(s):

Analog Circuit ◽

Circuit Verification

Download Full-text

Supplemental Material for Competition Between Multiple Causes of a Single Outcome in Causal Reasoning

Journal of Experimental Psychology Animal Behavior Processes ◽

10.1037/a0012699.supp ◽

2009 ◽

Keyword(s):

Causal Reasoning ◽

Multiple Causes

Download Full-text