IBM Israel
Skip to main content
 
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars

Verification Seminar 2004

Introduction
Program
Abstracts
Press Coverage
Photo Gallery
Visitors Information
Verification in HRL
Feedback


IBM Verification Seminar 2004 - Program
November 21, 2004

PDF version for printing (53 KB)



9:15 Arrival

9:30 Welcome,
David Bernstein, Mgr., Software and Verification Technologies, IBM Haifa Labs

9:45 Formal Verification of Synchronizers in GALS SoCs,
Ran Ginosar, Head, VLSI Systems Research Center, Electrical Engineering Department, Technion - Israel Institute of Technology
(Presentation)

10:25 A Massively Parallel Platform for Formal Verification: RuleBase Parallel Edition,
Rachel Tzoref, IBM Haifa Labs
(Presentation)

10:55 SystemVerilog: Introduction and a User Perspective,
Johny Srouji, Engineering Manager, Intel CAD Division, Haifa
(Presentation)

11:25 Coffee break

11:40 State of the Technology Industry in Israel... and the Future,
Orna Berry, Venture Partner in Gemini Israel Funds and Former Chief Scientist of the Israeli Ministry of Industry and Trade
(Presentation)

12:20 EDA Standards: Motivation, Players, Challenges, and Achievements,
Dennis Brophy, Chair, Accellera Standards Organization and Director of Strategic Business Development, Model Technology



12:50 Piparazzi: A Micro-architecture Approach to Functional & Performance Verification in Processors,
Eyal Bin, IBM Haifa Labs
(Presentation)

13:20 Lunch

14:30 Keynote: Predicate Abstraction and Refinement Techniques for Verifying Verilog,
Ed Clarke, FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering, Carnegie Mellon University
(Presentation)

15:30 Break

15:45 Debugging complex FPGA platforms,
Ivo Bolsens, Vice President and Chief Technology Officer, Xilinx

16:15 Panel: HVL vs. HDVL,
Panelists: Coby Hanoch, Verisity; Jay Lawrence, Cadence Design Systems; Kobi Pines, Marvell Technology Group; Rob Slater, FreeScale Semiconductor

17:00 Concluding Remarks,
Michael Rodeh, Director, IBM Haifa Labs



  About IBM  |  Privacy  |  Terms of use  |  Contact