Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Creating Assertion-Based IP
ISBN: 9780387366418 / Angielski / Twarda / 2007 / 318 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which... Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level ve... |
cena:
586,33 zł |
 |
Creating Assertion-Based IP
ISBN: 9781441942180 / Angielski / Miękka / 2010 / 318 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which... Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level ve... |
cena:
429,96 zł |
 |
Assertion-Based Design
ISBN: 9781402074981 / Angielski / Twarda / 2003 / 263 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you have them. forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards.
The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based desi...
|
cena:
544,87 zł |
 |
Assertion-Based Design
ISBN: 9781461348481 / Angielski / Miękka / 2012 / 363 str. Termin realizacji zamówienia: ok. 20 dni roboczych. There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design? The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL code will actually reduce design time, while better documenting design intent. Every design engineer should read this book Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from...
There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based desi...
|
cena:
195,42 zł |
 |
Assertion-Based Design
ISBN: 9781441954626 / Angielski / Miękka / 2010 / 390 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82...
Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety v...
|
cena:
586,33 zł |
 |
Assertion-Based Design
ISBN: 9781402080272 / Angielski / Twarda / 2004 / 390 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82...
Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety v...
|
cena:
586,33 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
