Navigation path

Themes
Agriculture & food
Energy
Environment
ERA-NET
Health & life sciences
Human resources & mobility
Industrial research
Information society
Innovation
International cooperation
Nanotechnology
Pure sciences
  Astronomy
  Biology
  Chemistry
  Mathematics
  Physics
  Other
Research infrastructures
Research policy
Science & business
Science in society
Security
SMEs
Social sciences and humanities
Space
Special Collections
Transport

Countries
Countries
  Argentina
  Australia
  Austria
  Belarus
  Belgium
  Benin
  Botswana
  Brazil
  Bulgaria
  Cameroon
  Canada
  Chile
  China
  Colombia
  Croatia
  Cyprus
  Czech Republic
  Denmark
  Egypt
  Estonia
  Finland
  France
  Georgia
  Germany
  Ghana
  Greece
  Hungary
  Iceland
  India
  Ireland
  Israel
  Italy
  Japan
  Kazakhstan
  Kenya
  Korea
  Latvia
  Lichtenstein
  Lithuania
  Luxembourg
  Madagascar
  Malta
  Mexico
  Montenegro
  Morocco
  Namibia
  Netherlands
  Nigeria
  Norway
  Peru
  Poland
  Portugal
  Romania
  Russia
  Senegal
  Serbia
  Slovakia
  Slovenia
  South Africa
  Spain
  Sri Lanka
  Swaziland
  Sweden
  Switzerland
  Taiwan
  Tanzania
  Tunisia
  Turkey
  Uganda
  Ukraine
  United Kingdom
  United States


This page was published on 27/02/2008
Published: 27/02/2008

   Pure sciences

Last Update: 27-02-2008  
Related category(ies):
Information society  |  Pure sciences

 

Add to PDF "basket"

EU-funded project develops microchip specification language

An EU-funded project has developed a breakthrough microchip specification language that will enable the replacement of unclear English with a mathematically precise description of processor functions and design. The design of a microchip is a tricky task. First of all there is the question of functionality. Engineers describe, in minute detail and in plain English, what a particular microchip must do. This is an essential task detailing the chip specifications for each stage of the microchip creation process: design, fabrication and verification.

A microchip within an electronic circuit board © Shutterstock
A microchip within an electronic circuit board
© Shutterstock

At each development stage, engineers are obliged to turn the English specification list into a mathematically precise function set. The problem is that English is not a mathematically precise language. Therefore, problems of interpretation are very common. The problem is exacerbated by the fact that each stage uses different languages, with languages varying between microchip companies. This makes the whole process of microprocessor design hugely inefficient, costly and prone to error.

‘Before property specification language (PSL) there was no industry standard for describing microchip properties,’ explains Cindy Eisner, coordinator of the Property-based system design (PROSYD) project at the IBM Haifa Research Laboratory, Israel. ‘Now the IEEE [Institute of Electrical and Electronics Engineers, Inc] has adopted PSL as a standard specification language. So, we now have an industry standard for microprocessor design,’ she adds.

EU-funded PROSYD’s mission was first to create tools to deploy PSL for chip design, fabrication and verification. The project then used these tools to demonstrate PSL’s benefits. Finally, it sought to foster a revolution in chip design by promoting PSL as a new industry standard.

The project succeeded in its mission to reduce design errors by 50 percent and increase design efficiency. At the end of the two-year EUR 7 million project, PROSYD demonstrated a staggering reduction in design errors of up to 100 percent, while at the same time increasing design efficiency by 16 to 22 percent.

After designers become more familiar with the new toolset and language, an even more impressive gain in efficiency can be expected, suggested Dr Eisner.


Convert article(s) to PDF

No article selected


loading


Search articles

Notes:
To restrict search results to articles in the Information Centre, i.e. this site, use this search box rather than the one at the top of the page.

After searching, you can expand the results to include the whole Research and Innovation web site, or another section of it, or all Europa, afterwards without searching again.

Please note that new content may take a few days to be indexed by the search engine and therefore to appear in the results.

Print Version
Share this article
See also

PROSYD
IBM Haifa Research Laboratory





  Top   Research Information Center