Latest news on Electronicstalk categorised by supplier
IBM Haifa Research Lab
Address:
Haifa University Campus
Carmel Mountain Range
Haifa
31904
Israel
Telephone: (Israel) +972 4 8296211
http://www.haifa.il.ibm.com
Our RSS feed for news from IBM Haifa Research Lab
Request to receive our free email newsletter each week
Listing of all 5 news releases from IBM Haifa Research Lab:
Project promotes self-healing software
IBM Haifa researchers recently hosted the first meeting to launch Shadows, the European Commission's Eur 5 million research project to promote the design of self-healing software systems.
News from IBM Haifa Research Lab (18 August 2006)
Machine learning and simulation-based verification
Technical background article Now in its third-year at the IBM Haifa Research Lab, the Coverage-Directed Generation project, known as CDG, is being successfully used for simulation-base verification.
News from IBM Haifa Research Lab (10 February 2006)
Collaborative research begins to bear fruits
A collaborative effort between European companies, universities and the European Union has produced advanced technologies which could improve chip making productivity by up to 30%.
News from IBM Haifa Research Lab (11 March 2005)
Property Specification Language recognised
The Accellera Property Specification Language (PSL) version 1.1 has been recognised by a DesignVision award from the International Engineering Consortium (IEC).
News from IBM Haifa Research Lab (14 February 2005)
Lightweight formal verification platform
IBM is offering RuleBase Single-Thread Edition (SE), a lightweight version of its RuleBase formal verification platform as an entry-level product for those looking for a small scale solution.
News from IBM Haifa Research Lab ( 8 November 2004)
