Verification of Hardware Circuit with Property Specification Language
Youyao Liu · Modern Electronic Technique · 2005
Traditionally,the process of specification has consisted of creating a natural language description of a set of design requirements.This form of specification is both ambiguous and unverifiable due to the lack of a standard machineexecutable representation.Property specification language is a machine executable property specification language,which is a kind of property specification language of standard hardware design with easy readwrite,concise syntax,clearlydefined formal semantics,powerful expression ability.This paper begins with an introduction of property define of property specification language.And illustrates to implement the verification method of hardware circuits in property specification language.By practice proving,the verification of hardware circuits is an effective method in property specification language.