Cantitate/Preț
Produs
Total produse
Vezi coșul
System-Level Validation de Mingsong Chen

System-Level Validation

Autor Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
en Limba Engleză Paperback – 20 sep 2014
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.  The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.
Citește tot Restrânge

Preț: 69899 lei

Preț vechi: 82234 lei
-15%

Puncte Express: 1048
Paperback 69899 lei
Hardback 64813 lei

Carte tipărită la comandă

Livrare economică 17-31 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781489986290
ISBN-10: 1489986294
Pagini: 272
Ilustrații: XXII, 250 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:2013
Editura: Springer
Locul publicării:New York, NY, United States

Public țintă

Professional/practitioner

Cuprins

Introduction.- Modeling and Specification of SoC Designs.- Automated Generation of Directed Tests.- Functional Test Compaction.- Property Clustering and Learning Techniques.- Decision Ordering Based Learning Techniques.- Synchronized Generation of Directed Tests.- Learning-Oriented Property Decomposition Approaches.- Directed Test Generation for Multicore Architectures.- Test Generation for Cache Coherence Validation.- Reuse of System-Level Tests for Implementation Validation.- Conclusion.

Textul de pe ultima copertă

This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.  The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.

Caracteristici

Provides a comprehensive introduction to system-level validation Describes high-level modeling using SystemC, UML and transaction-level models Includes coverage of high-level modeling and directed test generation techniques as well efficient validation methodology using directed tests and assertions Shows how to assure consistency between models with test/assertion refinement and reuse techniques across different levels of abstraction Includes supplementary material: sn.pub/extras

Notă biografică

Liang Song is currently a Chair Professor with Fudan University, as the director of Fudan Institute on Networking Systems of AI (FINSAI), along with numerous distinguished or adjunct appointments, e.g., Chairman of Institute on Networking Systems of AI, the Professor with the University of Toronto (Canada), and the Chairman of Shanghai 5G-VR Alliance, among others. He also sits in board of numerous high technology companies. Prof. Song's work converges communication networks and AI systems, empowering a myriad of industries. His engineering contributions facilitated the continuous upgrading of telecommunications and the Internet, among which he had made key contributions in developing 5GtoB applications and engineering practices. By laying the foundation for new network infrastructure, his work enables the cross-layer processing of communications, computing and system applications, based on distributed artificial intelligence services. This approach is providing holistic online evolutive learning for real-time AI sensing, control, and generating, becoming an indispensable path for constructing networked AGI. In these technical areas, he has published more than 200 referred papers, 8 monographs, and invented over 100 patents. Due to his significant technical and engineering contributions, he was elected as a Fellow of Chinese National Distinguished Experts in 2013, and a Fellow of Canadian Academy of Engineering (CAE) in 2019. Mingsong Chen is a full professor in the Software Engineering Institute at East China Normal University. He currently serves as the director of Engineering Research Center of Software and Hardware Co-design and Application and Technology, Ministry of Education of China, and the vice-director of CCF Technical Committee on Embedded Systems. His research interests include AIoT, embedded systems, trustworthy AI, design automation (for CPSs), formal modeling and verification, and cloud/muti-modal computing. He has published more than 100 papers in premier conferences and journals (e.g., DAC, ESWeek, ISCA, RTSS, IEEE TC and IEEE TCAD) and 2 English monographs. Xu Zhibing, vice president of Huawei Wireless 5GtoB product line, is responsible for 5G and industry application research, standard setting and industry promotion.