| Title | ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems Using Purely Boolean Models for Analog/Mixed-Signal Verification |
| Author | *Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, Jaijeet Roychowdhury (Univ. of California, Berkeley, U.S.A.) |
| Page | pp. 250 - 255 |
| Detailed information (abstract, keywords, etc) | |
| Title | Toward Efficient Programming of Reconfigurable Radio Frequency (RF) Receivers |
| Author | *Jun Tao, Ying-Chih Wang, Minhee Jun, Xin Li, Rohit Negi, Tamal Mukherjee, Lawrence Pileggi (Carnegie Mellon Univ., U.S.A.) |
| Page | pp. 256 - 261 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |
| Title | Efficient Matrix Exponential Method Based on Extended Krylov Subspace for Transient Simulation of Large-Scale Linear Circuits |
| Author | Quan Chen, *Wenhui Zhao, Ngai Wong (Univ. of Hong Kong, Hong Kong) |
| Page | pp. 262 - 266 |
| Detailed information (abstract, keywords, etc) | |
| Slides | |