 |
Tools for Modeling and Static Analysis
Session chair: Avi Ziv, IBM Haifa Labs
09:30 Smart-lint: Improving the Verification Flow,
Itai Yarom and Viji Patil, Intel
(Presentation)
10:00 Model-Driven Development with the jABC,
Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Joerges, and Christian Kubczak, University of Dortmund, Germany / University of Potsdam, Germany
(Presentation)
10:30 Detecting Design Flaws in UML State Charts for Embedded Software,
Janees Elamkulam, Sandeep Kohli, Gururaja Kowlali, Satish Chandra Gupta, Sai Dattathrani, Ziv Glazberg, Ishai Rabinovitz, and Claudio Paniagua Macia, IBM
(Presentation)
11:00 Seqver: A Sequential Equivalence Verifier for Hardware Designs,
Daher Kaiss, Silvian Goldenberg, Ziyad Hanna, and Zurab Khasidashvili, Intel
(Presentation)
11:30 Break
|
|
|
|
Panel
Moderator: Shmuel Ur, IBM Haifa Labs
12:00 Unpaved Road between Hardware Verification and Software Testing Techniques
13:30 Lunch
Tools for Dynamic Methods
Session chair: Gadi Auerbach, IBM Haifa Labs
15:00 Invited speaker: Practical Methods in Coverage-oriented Verification of the Merom Microprocessor,
Alon Gluska, Intel
(Presentation)
15:45 Invited speaker: Increasing Predictability in the Design Verification Process,
Andrew Piziali, Cadence
(Presentation)
16:30 An Open Source Simulation Model of Software Testing,
Shmuel Ur, Elad Yom-Tov, and Paul Wernick, IBM
(Presentation)
17:00 Conclusion
|
|
