System-Level Validation - Chen, Mingsong

. .

Résumé :
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.

Biographie:
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....

Sommaire:
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.