Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Cindy Eisner , Dana FismanPublisher: Springer Imprint: Springer ISBN: 9786610949106ISBN 10: 6610949107 Pages: 246 Publication Date: 01 January 2006 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: Out of stock  The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
