图书标签:
发表于2024-11-08
A Practical Introduction to Psl pdf epub mobi txt 电子书 下载 2024
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.
评分
评分
评分
评分
A Practical Introduction to Psl pdf epub mobi txt 电子书 下载 2024