A Practical Introduction to Psl 在線電子書 圖書標籤:
發表於2024-11-25
A Practical Introduction to Psl 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 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 下載 txt下載 epub 下載 mobi 下載 2024