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
Terahertz spectroscopy goes nano
20.10.2017 | Brown University
New software speeds origami structure designs
12.10.2017 | Georgia Institute of Technology
University of Maryland researchers contribute to historic detection of gravitational waves and light created by event
On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...
Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.
Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....
Material defects in end products can quickly result in failures in many areas of industry, and have a massive impact on the safe use of their products. This is why, in the field of quality assurance, intelligent, nondestructive sensor systems play a key role. They allow testing components and parts in a rapid and cost-efficient manner without destroying the actual product or changing its surface. Experts from the Fraunhofer IZFP in Saarbrücken will be presenting two exhibits at the Blechexpo in Stuttgart from 7–10 November 2017 that allow fast, reliable, and automated characterization of materials and detection of defects (Hall 5, Booth 5306).
When quality testing uses time-consuming destructive test methods, it can result in enormous costs due to damaging or destroying the products. And given that...
Using a new cooling technique MPQ scientists succeed at observing collisions in a dense beam of cold and slow dipolar molecules.
How do chemical reactions proceed at extremely low temperatures? The answer requires the investigation of molecular samples that are cold, dense, and slow at...
Scientists from the Max Planck Institute of Quantum Optics, using high precision laser spectroscopy of atomic hydrogen, confirm the surprisingly small value of the proton radius determined from muonic hydrogen.
It was one of the breakthroughs of the year 2010: Laser spectroscopy of muonic hydrogen resulted in a value for the proton charge radius that was significantly...
17.10.2017 | Event News
10.10.2017 | Event News
10.10.2017 | Event News
20.10.2017 | Information Technology
20.10.2017 | Materials Sciences
20.10.2017 | Interdisciplinary Research