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
Smarter robot vacuum cleaners for automated office cleaning
15.08.2017 | Fraunhofer-Institut für Arbeitswirtschaft und Organisation IAO
Researchers 3-D print first truly microfluidic 'lab on a chipl devices
15.08.2017 | Brigham Young University
Whether you call it effervescent, fizzy, or sparkling, carbonated water is making a comeback as a beverage. Aside from quenching thirst, researchers at the University of Illinois at Urbana-Champaign have discovered a new use for these "bubbly" concoctions that will have major impact on the manufacturer of the world's thinnest, flattest, and one most useful materials -- graphene.
As graphene's popularity grows as an advanced "wonder" material, the speed and quality at which it can be manufactured will be paramount. With that in mind,...
Physicists at the University of Bonn have managed to create optical hollows and more complex patterns into which the light of a Bose-Einstein condensate flows. The creation of such highly low-loss structures for light is a prerequisite for complex light circuits, such as for quantum information processing for a new generation of computers. The researchers are now presenting their results in the journal Nature Photonics.
Light particles (photons) occur as tiny, indivisible portions. Many thousands of these light portions can be merged to form a single super-photon if they are...
For the first time, scientists have shown that circular RNA is linked to brain function. When a RNA molecule called Cdr1as was deleted from the genome of mice, the animals had problems filtering out unnecessary information – like patients suffering from neuropsychiatric disorders.
While hundreds of circular RNAs (circRNAs) are abundant in mammalian brains, one big question has remained unanswered: What are they actually good for? In the...
An experimental small satellite has successfully collected and delivered data on a key measurement for predicting changes in Earth's climate.
The Radiometer Assessment using Vertically Aligned Nanotubes (RAVAN) CubeSat was launched into low-Earth orbit on Nov. 11, 2016, in order to test new...
A study led by scientists of the Max Planck Institute for the Structure and Dynamics of Matter (MPSD) at the Center for Free-Electron Laser Science in Hamburg presents evidence of the coexistence of superconductivity and “charge-density-waves” in compounds of the poorly-studied family of bismuthates. This observation opens up new perspectives for a deeper understanding of the phenomenon of high-temperature superconductivity, a topic which is at the core of condensed matter research since more than 30 years. The paper by Nicoletti et al has been published in the PNAS.
Since the beginning of the 20th century, superconductivity had been observed in some metals at temperatures only a few degrees above the absolute zero (minus...
16.08.2017 | Event News
04.08.2017 | Event News
26.07.2017 | Event News
17.08.2017 | Earth Sciences
17.08.2017 | Life Sciences
17.08.2017 | Materials Sciences