The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780379918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recent advances in verification, equivalence checking & SAT solvers

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490929 ◽

2005 ◽

Author(s):

D. Pradhan

Keyword(s):

Equivalence Checking ◽

Sat Solvers ◽

Recent Advances

Download Full-text

Microsystems and nanotechnology and their applications

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490901 ◽

2005 ◽

Author(s):

V. Milanovic ◽

D.J. Young

Download Full-text

Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490927 ◽

2005 ◽

Author(s):

W. Kunz ◽

D.K. Pradhan

Keyword(s):

Efficient Solutions ◽

Recursive Learning ◽

Test Verification

Download Full-text

Statistical analysis of chaotic systems applications to power converters

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490921 ◽

2005 ◽

Author(s):

J.L. Rodriguez Marrero

Keyword(s):

Statistical Analysis ◽

Chaotic Systems ◽

Power Converters

Download Full-text

FM-based generation of high EMC timing signals

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490924 ◽

2005 ◽

Author(s):

S. Callegari ◽

R. Rovatti ◽

G. Setti

Download Full-text

Chaos in power electronics

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490920 ◽

2005 ◽

Cited By ~ 3

Author(s):

C.K. Tse

Keyword(s):

Power Electronics

Download Full-text

Recent advances in verification, equivalence checking & SAT solvers

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490926 ◽

2005 ◽

Author(s):

R. Dreschler ◽

D.K. Pradhan

Keyword(s):

Equivalence Checking ◽

Sat Solvers ◽

Recent Advances

Download Full-text

Welcome

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490893 ◽

2005 ◽

Author(s):

W.A. Serdijn ◽

A.G. Andrew

Download Full-text

Bifurcation phenomena in hybrid dynamical systems

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490915 ◽

2005 ◽

Author(s):

S. Ranerjee ◽

M.A. Hassouneh

Keyword(s):

Dynamical Systems ◽

Hybrid Dynamical Systems ◽

Bifurcation Phenomena

Download Full-text

Chip-package co-design of RF mixed signal microsystems

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. ◽

10.1109/tutcas.2003.1490898 ◽

2005 ◽

Author(s):

P.R. Mukund ◽

J. Moon

Keyword(s):

Mixed Signal

Download Full-text

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Recent advances in verification, equivalence checking & SAT solvers

Microsystems and nanotechnology and their applications

Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization

Statistical analysis of chaotic systems applications to power converters

FM-based generation of high EMC timing signals

Chaos in power electronics

Recent advances in verification, equivalence checking & SAT solvers

Welcome

Bifurcation phenomena in hybrid dynamical systems

Chip-package co-design of RF mixed signal microsystems

The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003.
Latest Publications