Wyniki wyszukiwania:
wyszukanych pozycji: 25
 |
Living beside the Ottawa River
ISBN: 9781917613705 / Angielski / Miękka / 2024 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
309,52 |
 |
Water Resources & the Army Corps of Engineers: Management Activities & Safety Preparations
ISBN: 9781536104202 / Angielski / Miękka / 2016 / 114 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
422,16 |
|
Living beside the Ottawa River
ISBN: 9781917613712 / Angielski / Twarda / 2024 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
397,96 |
 |
A Vagabond in Fiji
ISBN: 9781026067888 / Angielski / Miękka / 2026 / 372 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
110,32 |
 |
A Vagabond in Fiji
ISBN: 9781026064351 / Angielski / Twarda / 2026 / 372 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
163,38 |
 |
Treasures of the Literary Kind
ISBN: 9798951129024 / Angielski / Miękka / 2026 / 156 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
79,55 |
 |
Paulene: My Extraordinary Kiwi Mate
ISBN: 9781916626126 / Angielski / Miękka / 2023 / 312 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
154,76 |
 |
The Caribbean Cruise
ISBN: 9781025539973 / Angielski / BC / 2026 / 420 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
114,74 |
 |
The Caribbean Cruise
ISBN: 9781025534893 / Angielski / BB / 2026 / 420 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
172,23 |
 |
A Gringo in Ma?ana Land: With Illustrations From Photographs Taken By...
ISBN: 9781025693057 / Angielski / Twarda / 2026 / 422 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
172,23 |
 |
A Gringo in Mañana Land: With Illustrations From Photographs Taken By...
ISBN: 9781025695877 / Angielski / BC / 2026 / 422 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
114,74 |
 |
Applied Formal Verification: For Digital Circuit Design
ISBN: 9780071443722 / Angielski / Twarda / 2005 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
681,50 |
 |
Creating Assertion-Based IP
ISBN: 9780387366418 / Angielski / Twarda / 2007 / 318 str. Termin realizacji zamówienia: ok. 16-18 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:
619,41 |
 |
Creating Assertion-Based IP
ISBN: 9781441942180 / Angielski / Miękka / 2010 / 318 str. Termin realizacji zamówienia: ok. 16-18 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:
454,22 |
 |
Assertion-Based Design
ISBN: 9781402074981 / Angielski / Twarda / 2003 / 263 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
492,47 |
 |
The Copper Deposits of Missouri: Usgs Bulletin 267
ISBN: 9781288902231 / Angielski / Miękka / 2013 / 56 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
78,49 |
 |
A Beachcomber in the Orient
ISBN: 9781025292427 / Angielski / BB / 2026 / 422 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
172,23 |
 |
A Beachcomber in the Orient
ISBN: 9781025297231 / Angielski / BC / 2026 / 422 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
114,74 |
 |
Grantees of Arms
ISBN: 9780956815767 / Angielski / Twarda / 2016 / 318 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
159,32 |
 |
Assertion-Based Design
ISBN: 9781461348481 / Angielski / Miękka / 2012 / 363 str. Termin realizacji zamówienia: ok. 16-18 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:
206,44 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
