A Practical Introduction to PSL
- المؤلف
- Cindy Eisner, Dana Fisman
- سنة النشر
- 2006
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Engineering
- تحميل الكتاب قراءة الكتاب
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
الكلمات المفتاحية: Engineering / Assertion Languages / Assertion-Based Verification / Formal property specification / Simulation and formal verification / Standard / Temporal logic / Algorithms / Computer-aided design (CAD) / Layers / Logic / Modeling / Semantics / Simulation
