|
|
|
|
LEADER |
00000cam a2200000 i 4500 |
001 |
on1343312358 |
003 |
OCoLC |
005 |
20240808213014.0 |
006 |
m o d |
007 |
cr cnu|||unuuu |
008 |
220905s2023 sz a ob 001 0 eng d |
040 |
|
|
|a YDX
|b eng
|e rda
|e pn
|c YDX
|d GW5XE
|d EBLCP
|d OCLCQ
|d OCLCO
|
019 |
|
|
|a 1344161458
|
020 |
|
|
|a 9783031055744
|q (electronic bk.)
|
020 |
|
|
|a 3031055748
|q (electronic bk.)
|
020 |
|
|
|z 9783031055737
|
020 |
|
|
|z 303105573X
|
024 |
7 |
|
|a 10.1007/978-3-031-05574-4
|2 doi
|
035 |
|
|
|a (OCoLC)1343312358
|z (OCoLC)1344161458
|
050 |
|
4 |
|a TK7874.888
|
072 |
|
7 |
|a TJFC
|2 bicssc
|
072 |
|
7 |
|a TEC008010
|2 bisacsh
|
072 |
|
7 |
|a TJFC
|2 thema
|
049 |
|
|
|a HCDD
|
100 |
1 |
|
|a Hassan, Muhammad,
|e author.
|
245 |
1 |
0 |
|a Enhanced virtual prototyping for heterogeneous systems /
|c Muhammad Hassan, Daniel Große, Rolf Drechsler.
|
264 |
|
1 |
|a Cham :
|b Springer,
|c [2023]
|
264 |
|
4 |
|c ©2023
|
300 |
|
|
|a 1 online resource (xx, 166 pages) :
|b illustrations (chiefly color)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
504 |
|
|
|a Includes bibliographical references and index.
|
520 |
|
|
|a This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security. Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs; Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models; Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs; Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.
|
505 |
0 |
|
|a Introduction -- Preliminaries -- AMS Metamorphic Testing Environment -- AMS Enhanced Code Coverage Verification Environment -- AMS Enhanced Functional Coverage Verification Environment -- Digital Early Security Validation -- Conclusion.
|
588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed September 13, 2022).
|
650 |
|
0 |
|a Systems on a chip.
|
650 |
|
0 |
|a Prototypes, Engineering.
|
650 |
|
7 |
|a Prototypes, Engineering
|2 fast
|
650 |
|
7 |
|a Systems on a chip
|2 fast
|
700 |
1 |
|
|a Grosse, Daniel,
|e author.
|1 https://isni.org/isni/0000000073760538
|
700 |
1 |
|
|a Drechsler, Rolf,
|e author.
|1 https://isni.org/isni/0000000109805786
|
776 |
0 |
8 |
|i Print version:
|a Hassan, Muhammad.
|t Enhanced virtual prototyping for heterogeneous systems.
|d Cham : Springer, 2022
|z 9783031055737
|w (OCoLC)1328005231
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-031-05574-4
|y Click for online access
|
903 |
|
|
|a SPRING-ALL2023
|
994 |
|
|
|a 92
|b HCD
|