Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Title
IP cores design from specifications to production [electronic resource] : modeling, verification, optimization, and protection / Khaled Salah Mohamed.
ISBN
9783319220352 (electronic book)
3319220357 (electronic book)
9783319220345
3319220349
Published
Cham : Springer, [2016]
Language
English
Description
1 online resource.
Item Number
10.1007/978-3-319-22035-2 doi
Call Number
TK7874.75 .M64 2016eb
Dewey Decimal Classification
621.39/5
Summary
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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Series
Analog circuits and signal processing series.
Available in Other Form
Print version: 9783319220345
1. Introduction
2. IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection
3. Analyzing the Trade-off between Different Memory Cores and Controllers
4. SOC BUSES AND PERIPHERALS: FEATURES AND ARCHITECTURES
5. Verilog for Implementation and Verification
6. New Trends in SoC Verification: UVM, Bug Localization, Scan-Chain-Based Methodology, GA-Based Test Generation
7. Conclusions.