(Back to Session Schedule)

The 16th Asia and South Pacific Design Automation Conference

Session 1A  Analog, Mixed-Signal & RF Verification, Abstraction and Analysis
Time: 10:20 - 12:20 Wednesday, January 26, 2011
Location: Room 411+412
Chairs: Eric Keiter (Sandia National Labs, U.S.A.), Chin-Fong Chiu (National Chip Implementation Center, Taiwan)

1A-1 (Time: 10:20 - 10:50)
TitleAnalog Circuit Verification by Statistical Model Checking
Author*Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke (Carnegie Mellon Univ., U.S.A.)
Pagepp. 1 - 6
Detailed information (abstract, keywords, etc)
Slides

1A-2 (Time: 10:50 - 11:20)
TitleFSM Model Abstraction for Analog/Mixed-Signal Circuits by Learning from I/O Trajectories
Author*Chenjie Gu, Jaijeet Roychowdhury (Univ. of California, Berkeley, U.S.A.)
Pagepp. 7 - 12
Detailed information (abstract, keywords, etc)

1A-3 (Time: 11:20 - 11:50)
TitleA Structured Parallel Periodic Arnoldi Shooting Algorithm for RF-PSS Analysis based on GPU Platforms
AuthorXue-Xin Liu (Univ. of California, Riverside, U.S.A.), Hao Yu (Nanyang Technological Univ., Singapore), Jacob Relles, *Sheldon X.-D. Tan (Univ. of California, Riverside, U.S.A.)
Pagepp. 13 - 18
Detailed information (abstract, keywords, etc)

1A-4 (Time: 11:50 - 12:20)
TitleHierarchical Exact Symbolic Analysis of Large Analog Integrated Circuits By Symbolic Stamps
Author*Hui Xu, Guoyong Shi, Xiaopeng Li (Shanghai Jiao Tong Univ., China)
Pagepp. 19 - 24
Detailed information (abstract, keywords, etc)
Slides