Harry Foster
Harry Foster
across based beyond chip confidence correct designers designs elegant formal gives goes hardware increases inherent intent intricate language languages large limits major natural property scale software supports system unique version work
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.
effort groups incredibly intriguing last quick standard
One of the really intriguing things to me is that we actually started this effort in working groups last September, so this was an incredibly quick process. This has got to be one of the fastest, if not the fastest, standard to ever come out of IEEE.
account burden complex design ease hardware percent seeks standard
This standard seeks to ease the burden of verifying complex hardware designs, which can account for more than 60 percent of a design cycle,
ended late necessary saying vaccine
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.