Ad
Ad
Ad
Ad
Ad
Ad
Ad
Electronics Production | March 11, 2005

Collaborative project, Prosyd, for chip making technology

IBM, several European universities and companies and the EU have made collaborative investments in chip making technology.
The main reason for the joint project is to find technologies to improve chip making productivity and shorting time-to-market. PSL, based on the Sugar language from IBM, is a language for assertion specification and complex modeling. This is the core in the project.

"The new IBM tools incorporate the use of the PSL standard, which together with advanced algorithms is opening up new directions in formal verification of larger designs," said Moshe Molcho, manager of IBM's Haifa Development Lab.

The tools will be offered across the Europe by IBM Engineering & Technology Services (ET&S).

"We foresee ample innovations in chip design and verification made possible using the property-based design and verification techniques enabled by Prosyd," Dieter Muenk, general manager of E&TS for IBM in Europe.



Comments

Please note the following: Critical comments are allowed and even encouraged. Discussions are welcome. Verbal abuse, insults and racist / homophobic remarks are not. Such comments will be removed.
Further details can be found here.
Ad
Ad
Ad
Ad
Load more news
November 14 2017 8:30 PM V8.8.9-1