Constraint-Based Verification - Couverture souple

Yuan, Jun; Pixley, Carl; Aziz, Adnan

Couverture souple

ISBN 10 : 1441938524 ISBN 13 : 9781441938527

Editeur : Springer, 2010

Synopsis

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.

It relates constrained verification with the also-hot technology called assertion-based design.

Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

A propos du livre

À propos de l'auteur

Shixia Liu is a professor at Tsinghua University. Her research interests include explainable machine learning, visual text analytics, and text mining. Shixia was elevated to an IEEE Fellow in 2021 and inducted into IEEE Visualization Academy in 2020. She is an associate editor-in-chief of IEEE Transactions on Visualization and Computer Graphics and is an associate editor of Artificial Intelligence, IEEE Transactions on Big Data, and ACM Transactions on Intelligent Systems and Technology. She was one of the Papers Co-Chairs of IEEE VIS (VAST) 2016 and 2017 and is in the steering committee of IEEE VIS (2020-2023). Weikai Yang is an Assistant Professor at the Data Science and Analytics Trust, holding a joint appointment at the Computational Media and Arts Thrust (CMA) in the Information Hub, at The Hong Kong University of Science and Technology (Guangzhou). He received his Ph.D. in Software Engineering under the supervision of professor Shixia Liu and his B.S. degrees from Tsinghua University. His research primarily focuses on the intersections between visual analysis and machine learning, with the goal of helping general users to understand large-scale data and utilize machine learning models more effectively and efficiently by incorporating their knowledge and feedback. Junpeng Wang is a Research Scientist at Visa Research. He received his B.Eng. degree in software engineering from Nankai University in 2011, his M.S. degree in computer science from Virginia Tech in 2015, and his Ph.D. degree in computer science from the Ohio State University in 2019. Junpeng's research interests lie broadly in explainable artificial intelligence, visual analytics, and deep learning. He is the recipient of the 2021 IEEE TVCG Best Reviewer Award and multiple best paper awards, including the Best Paper Award at IEEE PacificVis 2018, the Best Paper Honorable Mention Award at IEEE VIS (VAST) 2018, and the Best Paper Award at IEEE VIS (SciVis) 2019. Jun Yuan is a Researcher at Tencent. His research interests lie in explainable artificial intelligence. He received his Ph.D. in Software Engineering under the supervision of Professor Shixia Liu and his B.S. degrees from Tsinghua University.

À propos de la quatrième de couverture

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name.

Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods.  The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow.  Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues.  Particular stress is given to the latest advances in functional verification. 

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2010
• Langue: anglais
• ISBN 10: 1441938524
• ISBN 13: 9781441938527
• Reliure: Broché
• Nombre de pages: 272
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible