Engineers now have the ability to formally specify properties of their hardware design model using an industry standard, and then verify these properties in dynamic verification (that is, simulation) or static verification (that is, formal verification), ... Prior to IEEE 1850, there were multiple proprietary ways of specifying properties and assertions, but not a standard. This meant that the same specification could not be used across multiple tools. With a new standard, a single form of specification can be reused across multiple processes.
More Quotes from Harry Foster:
This standard seeks to ease the burden of verifying complex hardware designs, which can account for more than 60 percent of a design cycle,Harry Foster
Property Specification Language (PSL) gives designers an elegant way to work with the intricate software inherent in very large scale integration that goes well beyond the limits of natural design languages based on words. It also increases confidence that chip and system designs are correct before fabrication. The PSL version in IEEE 1850 is unique in that it supports formal specification and verification of design intent across all major hardware description languages.
Harry Foster
We've ended up of late when we don't have any vaccine saying it's probably not necessary to get the shot. Well baloney. It is.
Harry Foster
Readers Who Like This Quotation Also Like:
Based on Topics: Abilities Quotes, Business & Commerce QuotesBased on Keywords: assertions, formally, ieee, proprietary, reused, simulation, specification, specify, specifying, verification, verify
Contaminated food is a major cause of diarrhea, substantially contributing to malnutrition and killing about 2.2 million people each year, most of them children.
Gro Harlem Brundtland
Life is composed of different inventions.
Mikhail Kalashnikov
I wrote it the right way, so it was copied the wrong way right. I mean the right way wrong.
Eugene Ormandy