A Practical Introduction to PSL

  • 3h 4m
  • Cindy Eisner, Dana Fisman
  • Springer
  • 2006
Using extensive examples in the form of timing diagrams and associated PSL properties, this book covers all the basic features of the Property Specification Language (PSL), as well as advanced topics such as the use of PSL in multiply-clocked designs.