Title: IEEE standard for property specification language (PSL)
Subjects: Electronic circuit design, Computer hardware description languages, Standards