Microchip design is a tricky business. First, there is a question of functionality. Engineers describe, in minute detail, what a particular microchip must do, in plain English. It is an essential task detailing the chip specifications for each stage of the microchip creation process: design, fabrication and verification.
Unfortunately, English is not a mathematically precise language. So, problems of interpretation are rife. Worse, at each development stage engineers are obliged to render the English specification or ‘spec’ list into a mathematically precise function set.
But worst of all, each stage uses different languages, and those languages vary between microchip companies. It is hugely inefficient and prone to error.
That is all set to change. “Before property specification language (PSL), there was no industry standard for describing microchip properties,” says Cindy Eisner, coordinator of PROSYD and Senior Architect for Verification Technologies at the IBM Haifa Research Laboratory. “Now the IEEE has adopted PSL as a standard specification language. So, we now have an industry standard for microprocessor design.”
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.
Mission accomplished, with aplomb. The EU project sought to reduce design errors by 50% but also increase design efficiency. At the end of the two-year €7 million project, PROSYD demonstrated a staggering reduction in design errors of up to 100%, at the same time increasing design efficiency by 16 to 22%.
After designers become more familiar with the new toolset and language, an even more impressive gain in efficiency can be expected, suggests Eisner.
It seems obvious now. If one stage of microchip development needs a precise description language, then should we not describe every stage the same way?Or perhaps not so obvious…
But once SUGAR arrived, microprocessor design hit upon a Eureka moment: why not describe every stage of chip creation the same way! Then the IEEE, the professional association for electronic engineers, took up the task and PSL/SUGAR became the standard.
PROSYD’s key contribution is the large suite of tools that link PSL across the microchip production process. There are over 16 tools in the set, which make PSL easy to deploy.
This is not the only achievement by PROSYD, though. The project’s case studies offer firm proof of the benefits of PSL and the PROSYD tools.
The project also led to unexpected benefits. PROSYD developed a very cool tool that will take a list of desired properties and actually design a microprocessor sub-circuit with those functions – something like machines creating themselves.
“It’s a very early version of the tool,” remarks Eisner, “you couldn’t use it to design a whole chip, but it could be useful to design a simple sub-circuit. It would be very useful for circuits that are fairly simple, but time-consuming to do.”
PROSYD’s long-term goal, not envisioned for the lifetime of the original project, was nothing less than a revolution in the microchip industry. That seems to be happening already. Actors outside the project are taking PROSYD and running with it, setting up conferences and producing materials to disseminate PSL and PROSYD tools. So now, finally, microchip design gets a unified, mathematically precise description language.
Christian Nielsen | alfa
The TU Ilmenau develops tomorrow’s chip technology today
27.04.2017 | Technische Universität Ilmenau
Five developments for improved data exploitation
19.04.2017 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI
More and more automobile companies are focusing on body parts made of carbon fiber reinforced plastics (CFRP). However, manufacturing and repair costs must be further reduced in order to make CFRP more economical in use. Together with the Volkswagen AG and five other partners in the project HolQueSt 3D, the Laser Zentrum Hannover e.V. (LZH) has developed laser processes for the automatic trimming, drilling and repair of three-dimensional components.
Automated manufacturing processes are the basis for ultimately establishing the series production of CFRP components. In the project HolQueSt 3D, the LZH has...
Reflecting the structure of composites found in nature and the ancient world, researchers at the University of Illinois at Urbana-Champaign have synthesized thin carbon nanotube (CNT) textiles that exhibit both high electrical conductivity and a level of toughness that is about fifty times higher than copper films, currently used in electronics.
"The structural robustness of thin metal films has significant importance for the reliable operation of smart skin and flexible electronics including...
The nearby, giant radio galaxy M87 hosts a supermassive black hole (BH) and is well-known for its bright jet dominating the spectrum over ten orders of magnitude in frequency. Due to its proximity, jet prominence, and the large black hole mass, M87 is the best laboratory for investigating the formation, acceleration, and collimation of relativistic jets. A research team led by Silke Britzen from the Max Planck Institute for Radio Astronomy in Bonn, Germany, has found strong indication for turbulent processes connecting the accretion disk and the jet of that galaxy providing insights into the longstanding problem of the origin of astrophysical jets.
Supermassive black holes form some of the most enigmatic phenomena in astrophysics. Their enormous energy output is supposed to be generated by the...
The probability to find a certain number of photons inside a laser pulse usually corresponds to a classical distribution of independent events, the so-called...
Microprocessors based on atomically thin materials hold the promise of the evolution of traditional processors as well as new applications in the field of flexible electronics. Now, a TU Wien research team led by Thomas Müller has made a breakthrough in this field as part of an ongoing research project.
Two-dimensional materials, or 2D materials for short, are extremely versatile, although – or often more precisely because – they are made up of just one or a...
28.04.2017 | Event News
20.04.2017 | Event News
18.04.2017 | Event News
28.04.2017 | Medical Engineering
28.04.2017 | Earth Sciences
28.04.2017 | Life Sciences