Eisner, Cindy. A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. - Boston, MA : Springer Science+Business Media, LLC, 2006. - xv, 240 p. : ill., digital ; 24 cm. - Series on Integrated Circuits and Systems, 1558-9412 . ISBN: 9780387361239 (electronic bk.) Subjects--Topical Terms: Computer hardware description languages.Integrated circuits--Verification. LC Class. No.: TK7885.7 / .E42 2006 Dewey Class. No.: 621.392