Property Specification Language (PSL) gives designers an...

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.