wyszukanych pozycji: 10
Water Resources & the Army Corps of Engineers: Management Activities & Safety Preparations
ISBN: 9781536104202 / Angielski / Miękka / 2016 / 114 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
|
cena:
414,45 zł |
Paulene: My Extraordinary Kiwi Mate
ISBN: 9781916626126 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
171,22 zł |
Applied Formal Verification: For Digital Circuit Design
ISBN: 9780071443722 / Angielski / Twarda / 2005 / 240 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Formal Verification, ASAP
"Applied Formal Verification" delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification. The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing. If you've some knowledge of Verilog or VHDL and simulation verification, you're ready to build your real-world problem-solving skills with this potent guide... Formal Verification, ASAP
"Applied Formal Verification" delivers right-now methods for integrating this powerful tool into your design process. Writ... |
|
cena:
715,48 zł |
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ł |
Grantees of Arms
ISBN: 9780956815767 / Angielski / Twarda / 2016 / 318 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Grantees of arms named in docquets and patents to the end of the seventeenth century : in the manuscripts preserved in the British museum, the Bodleian Library, Oxford, Queens College, Oxford, Gonville and Caius College, Cambridge, and elsewhere : alphabetically arranged by the late Joseph Foster and contained in the Additional ms. no. 37,147, in the British museum by Foster, Joseph, 1844-1905; Rylands, W. Harry (William Harry), 1847-1922
Published 1915 Grantees of arms named in docquets and patents to the end of the seventeenth century : in the manuscripts preserved in the British museum, the Bodleia...
|
|
cena:
168,44 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: 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: 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ł |