 |
09:30 Welcome,
Eyal Bin, Program Chair, IBM Haifa Research Lab; David Bernstein, Manager, Software and Verification, IBM Haifa Research Lab; Irith Hartman, Scientific Manager, Caesarea Rothschild Institute
Property Specification
Session chair: Karen Yorav, IBM Haifa Labs
10:00 Invited speaker: Sweet and Sour: Adventures in the Development of a Property Specification Language,
Cindy Eisner, IBM Haifa Research Labs
10:45 Model Checking PSL using HOL and SMV,
Thomas Tuerk, Klaus Schneider, and Mike Gordon, University of Kaiserslautern, Germany / University of Cambridge, UK
(Presentation)
11:15 Speed Networking session and coffee break
Dynamic Verification and Testing
Session chair: : Laurent Fournier, IBM Haifa Labs
12:00 Using Linear Programming Techniques for Scheduling-based Random Test-case Generation,
Amir Nahir, Yossi Shiloach, and Avi Ziv, IBM Haifa Research Lab
(Presentation)
12:30 Extracting a Simplified View of Design Functionality Based on Vector Simulation,
Onur Guzey, Hung-Pin (Charles) Wen, Li-C. Wang, Tao Feng, Hillel Miller and Magdy Abadir, University of California Santa Barbara, Cadence, Freescale Semiconductor
(Presentation)
|
|
|
|
13:00 Reusable On-Chip System Level Verification for Simulation Emulation and Silicon,
Avishay Maman, Sharon Goldschlager, Hillel Miller, David Bell, Rob Slater, Oded Bin-Moshe, Nissan Levi, and Hagit Gilboa, Freescale Semiconductor Israel
(Presentation)
13:30 Lunch
Formal Verification
Session chair: Yaron Wolfsthal, IBM Haifa Labs
15:00 Keynote: System Modeling and Formal Verification with UCLID,
Randal E. Bryant, Dean and University Professor, School of Computer Science, Carnegie Mellon University
16:00 Automatic Fault Localization for Property Checking,
Stefan Staber, G?rschwin Fey, Roderick Bloem, and Rolf Drechsler, Graz University of Technology, Austria / University of Bremen, Germany
(Presentation)
16:30 Verification of Data Paths using Unbounded Integers: Automata Strike Back,
Alexander Tobias Schuele and Klaus Schneider, University of Kaiserslautern, Germany
(Presentation)
17:00 Closing remarks,
Meir Nissensohn, General Manager, IBM Israel
17:30 Cocktail Party
|
|
