Technical Program FAC 2014
-
Invited Talk: Pierre Dautriche, ST Microelectronics, "Will Silicon Proof Stay the Only Way to Verify Analog Circuits?"
Slides
-
Christoph Grimm, Carna Radojicic and Thiyagarajan Purusothaman, "Towards Formal Verification of Analog/Mixed-Signal Systems: The Algebraic Approach"
Slides
-
Yan Peng and Mark R. Greenstreet, "AMS verification with Theorem Proving and SMT"
Slides
-
Andrew N. Fisher and Chris J. Myers, "Reachability Analysis Using Octagons"
Slides
-
Hafiz Ul Asad and Kevin D. Jones, "Global Convergence of a PLL using Lyapunov Stability and Reachability"
Slides
-
Invited Talk: Dejan Nickovic, Austrian Institute of Technology, "Monitoring Mixed Signal Assertions - Theory, Tools and Applications"
-
Eugene Asarin, Thomas Ferrére, Oded Maler and Dogan Ulus, "Checking Time Regular Expressions on Boolean Signals"
Slides
-
Jaeha Kim, "An Event-Driven Simulation Methodology of Analog/Mixed-Signal Systems and Its Implications to Property Checking"
Slides
-
Invited Talk: Peter Rotter, Infineon, "Analog Verification Concepts: Industrial Deployment Case Studies"
Slides
-
Hugo Gonçalves, Xin Li, Miguel Correia and Vitor Tavares, "A Fast Wafer-level Spatial Variation Modeling Algorithm for Test Cost Reduction of Analog/RF Circuits" (5)
Slides
-
Invited Talk: Martin Vlach, Mentor Graphics, "AMS Verification from Transistor to SoC"
Slides
-
Jiho Lee and Jaeha Kim, "Predictive Global Optimization Method for Analog Circuit with Response Surface Methodology on Discrete Design Space"
Slides
-
Ikchan Jang, Soyeon Joo, Soyoung Kim and Jintae Kim, "Model-Based Synthesis of High-Speed Serial-Link Transmitter Designs"
Slides
-
Thang Nguyen and Dejan Nickovic, "Monitoring Correctness of DSI3 Sensor Interfaces in a Modern Airbag System-on-Chip Application" (11)
-
Felix Salfelder and Lars Hedrich, "A Benchmark Suite for Formal Verification of Analog Circuits" (1)
Slides
Back to FAC14 Frontpage
