Cargando…
IP cores design from specifications to production: modeling, verification, optimization, and protection
This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs ...
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2016
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-22035-2 http://cds.cern.ch/record/2062471 |
_version_ | 1780948523783553024 |
---|---|
author | Mohamed, Khaled Salah |
author_facet | Mohamed, Khaled Salah |
author_sort | Mohamed, Khaled Salah |
collection | CERN |
description | This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author’s practical coverage of new verification methodologies. such as bug localization, UVM, and scan-chain. A SoC case study is presented to compare traditional verification with the new verification methodologies. · Discusses the entire life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection; · Introduce a deep introduction for Verilog for both implementation and verification point of view. · Demonstrates how to use IP in applications such as memory controllers and SoC buses. · Describes a new verification methodology called bug localization; · Presents a novel scan-chain methodology for RTL debugging; · Enables readers to employ UVM methodology in straightforward, practical terms. |
id | cern-2062471 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2016 |
publisher | Springer |
record_format | invenio |
spelling | cern-20624712021-04-21T20:03:52Zdoi:10.1007/978-3-319-22035-2http://cds.cern.ch/record/2062471engMohamed, Khaled SalahIP cores design from specifications to production: modeling, verification, optimization, and protectionEngineeringThis book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author’s practical coverage of new verification methodologies. such as bug localization, UVM, and scan-chain. A SoC case study is presented to compare traditional verification with the new verification methodologies. · Discusses the entire life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection; · Introduce a deep introduction for Verilog for both implementation and verification point of view. · Demonstrates how to use IP in applications such as memory controllers and SoC buses. · Describes a new verification methodology called bug localization; · Presents a novel scan-chain methodology for RTL debugging; · Enables readers to employ UVM methodology in straightforward, practical terms.Springeroai:cds.cern.ch:20624712016 |
spellingShingle | Engineering Mohamed, Khaled Salah IP cores design from specifications to production: modeling, verification, optimization, and protection |
title | IP cores design from specifications to production: modeling, verification, optimization, and protection |
title_full | IP cores design from specifications to production: modeling, verification, optimization, and protection |
title_fullStr | IP cores design from specifications to production: modeling, verification, optimization, and protection |
title_full_unstemmed | IP cores design from specifications to production: modeling, verification, optimization, and protection |
title_short | IP cores design from specifications to production: modeling, verification, optimization, and protection |
title_sort | ip cores design from specifications to production: modeling, verification, optimization, and protection |
topic | Engineering |
url | https://dx.doi.org/10.1007/978-3-319-22035-2 http://cds.cern.ch/record/2062471 |
work_keys_str_mv | AT mohamedkhaledsalah ipcoresdesignfromspecificationstoproductionmodelingverificationoptimizationandprotection |