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 |