A Practical Introduction to Psl

Valutazione media 0
( su 0 valutazioni fornite da GoodReads )
 
9780826447999: A Practical Introduction to Psl

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina:

A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (The Weizmann Institute of Science, Rehovot, Israel) were involved with the creation of the standard.

A Practical Introduction to PSL includes extensive examples illustrated with timing diagrams. While mostly oriented to users of PSL for simulation, a section on the use of PSL in formal verification is included. All of the basic language constructs are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. The chapter on common errors, based on the authors’ many years of experience in using and teaching the language, will be helpful to both beginners and more experienced users.

A 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.

______________________________________________________

From the Foreword:

… "Cindy Eisner and Dana Fisman were the two key people who turned IBM Sugar into PSL. Their deep understanding of PSL’s formal semantics was instrumental in both the Accellera and IEEE PSL standardization efforts. Cindy and Dana have now created the most authoritative source for information about PSL, designed to introduce the language incrementally in an easily understood fashion. A Practical Introduction to PSL provides a solid foundation for getting started with PSL today."

- Harry Foster - Erich Marschner

Mentor Graphics Corporation Cadence Design Systems

Contenuti:

Basic Temporal Properties.- Some Philosophy.- Weak vs. Strong Temporal Operators.- SERE Style.- Clocks.- Aborting a Property.- Some Convenient Constructs.- The Simple Subset.- The Boolean, Modeling, and Verification Layers.- Advanced Topics.- More Philosophy — High- vs. Low-level Assertions.- Common Errors.- Multiply-clocked Designs.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Eisner, Cindy; Fisman, Dana
Editore: Bloomsbury Academic (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Bloomsbury Academic, 2000. Paperback. Condizione libro: New. book. Codice libro della libreria 0826447996

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,43
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Eisner, Cindy; Fisman, Dana
Editore: Continnuum-3PL (2016)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Continnuum-3PL, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780826447999_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 48,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,40
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Eisner, Cindy; Fisman, Dana
Editore: Bloomsbury Publishing PLC (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Secaucus, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Bloomsbury Publishing PLC, 2000. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria I2-9780826447999

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,75
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,74
In U.S.A.
Destinazione, tempi e costi

4.

Eisner, Cindy; Fisman, Dana
Editore: Bloomsbury Publishing PLC, United Kingdom (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Bloomsbury Publishing PLC, United Kingdom, 2000. Paperback. Condizione libro: New. 241 x 168 mm. Language: English . Brand New Book ***** Print on Demand *****. Defining assessment in the widest possible way, this work is a comprehensive ethnographic study of assessment. The case studies cover most of the important questions concerning assessment: who is being assessed and who is doing the assessing?; what is being assessed and when and where is the assessment taking place?; how does assessment function and how are assessment findings interpreted? The findings have major implications for education practice and policy. It shows how supposedly objective assessment procedures depend on their contexts and are vulnerable to both bias and distortion. The study provides the definitive examination of assessment in the 5-11 ranges. Codice libro della libreria AAV9780826447999

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 71,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Eisner, Cindy; Fisman, Dana
Editore: Bloomsbury Publishing PLC, United Kingdom (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Bloomsbury Publishing PLC, United Kingdom, 2000. Paperback. Condizione libro: New. 241 x 168 mm. Language: English . Brand New Book ***** Print on Demand *****.Defining assessment in the widest possible way, this work is a comprehensive ethnographic study of assessment. The case studies cover most of the important questions concerning assessment: who is being assessed and who is doing the assessing?; what is being assessed and when and where is the assessment taking place?; how does assessment function and how are assessment findings interpreted? The findings have major implications for education practice and policy. It shows how supposedly objective assessment procedures depend on their contexts and are vulnerable to both bias and distortion. The study provides the definitive examination of assessment in the 5-11 ranges. Codice libro della libreria AAV9780826447999

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 73,06
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Eisner, Cindy; Fisman, Dana
Editore: Continuum (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Continuum, 2000. Paperback. Condizione libro: New. 1. Codice libro della libreria DADAX0826447996

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 70,21
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,74
In U.S.A.
Destinazione, tempi e costi

7.

Eisner, Cindy; Fisman, Dana
Editore: Bloomsbury Publishing PLC (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Bloomsbury Publishing PLC, 2000. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria I2-9780826447999

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,74
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Eisner, Cindy; Fisman, Dana
Editore: Continuum International Publishing Group
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Quantità: 1
Print on Demand
Da
Majestic Books
(London, ,, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Continuum International Publishing Group. Condizione libro: New. pp. 178 This item is printed on Demand. Codice libro della libreria 5800663

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,56
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Eisner, Cindy; Fisman, Dana
Editore: Continuum (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Continuum, 2000. Paperback. Condizione libro: NEW. 9780826447999 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE093748

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 73,73
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,54
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Eisner, Cindy; Fisman, Dana
Editore: Bloomsbury Academic (2000)
ISBN 10: 0826447996 ISBN 13: 9780826447999
Nuovi Paperback Quantità: 10
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Bloomsbury Academic, 2000. Paperback. Condizione libro: New. Codice libro della libreria INGM9780826447999

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 84,65
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,74
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro