Title: A practical introduction to PSL
Subjects: Computer hardware description languages, Integrated circuits, Verification