Title | Analog Circuit Verification by Statistical Model Checking |
Author | *Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke (Carnegie Mellon Univ., U.S.A.) |
Page | pp. 1 - 6 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | FSM 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.) |
Page | pp. 7 - 12 |
Detailed information (abstract, keywords, etc) |
Title | A Structured Parallel Periodic Arnoldi Shooting Algorithm for RF-PSS Analysis based on GPU Platforms |
Author | Xue-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.) |
Page | pp. 13 - 18 |
Detailed information (abstract, keywords, etc) |
Title | Hierarchical Exact Symbolic Analysis of Large Analog Integrated Circuits By Symbolic Stamps |
Author | *Hui Xu, Guoyong Shi, Xiaopeng Li (Shanghai Jiao Tong Univ., China) |
Page | pp. 19 - 24 |
Detailed information (abstract, keywords, etc) | |
Slides |