A Practical Introduction to PSL - Eisner, Cindy; Fisman, Dana.; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2006)
Keywords: Computer hardware description languages; Integrated circuits -- Verification