Subhasish Mitra

System-on-Chips (SoCs) are an integral part of our lives. The complexity of SoCs requires sophisticated tools and methods for ensuring functional correctness, especially in critical domains such as automotive and healthcare applications. In addition, the prevalence of security features in SoCs and emerging threats such as Spectre and Meltdown underscore the need for advanced verification techniques to combat security vulnerabilities. Existing verification approaches consume over 50% of development effort. Pre-silicon verification ensures functional correctness before chip fabrication, while post-silicon validation detects bugs that escape pre-silicon verification. Existing pre-silicon and post-silicon approaches are inadequate resulting in skyrocketing bug escapes and respins. To address these challenges, this book presents pre-silicon verification and post-silicon validation methods based on Quick Error Detection (QED) principles: self-consistency checking to detect and localize design bugs. Symbolic QED combines QED principles with model checking (a formal verification technique) for pre-silicon verification. Many studies, including industrial case studies, have demonstrated the effectiveness and practicality of Symbolic QED. QED-based methods for post-silicon validation significantly reduce the error detection latency (the time elapsed between the occurrence of a bug and its manifestation as an observable failure) by several orders of magnitude, addressing the limitations of existing validation and debug approaches. This book also discusses Unique Program Execution Checking (UPEC), a hardware security verification technique inspired by QED principles. Beyond the specific QED techniques described here, a new pre-silicon verification approach called G-QED (Generalized Quick Error Detection) is already demonstrating significant drastic benefits for pre-silicon verification of a wide variety of designs.

Cette collection de six cas compacts et de notes d'enseignement est bas e sur le projet d'action multidisciplinaire (MAP) r alis par des tudiants de MBA Sem III Chimanbhai Patel Institute of Management and Research, Ahmedabad, au cours de l'ann e acad mique 2020-21. Le projet d'action multidisciplinaire (MAP) fait partie int grante du programme acad mique du programme MBA offert par GTU, dans lequel les tudiants doivent travailler sur des projets r alisables en association avec des entreprises / organisations / ONG / organismes ruraux et doivent r soudre des probl mes commerciaux en appliquant leurs connaissances dans plusieurs disciplines. Ces cas compacts sont labor s par les mentors de la facult partir des donn es recueillies par les tudiants lors de visites et d'entretiens directs men s avec des propri taires/entrepreneurs de petites entreprises Gujarat pendant le MAP. Des donn es publiques ont t utilis es dans certains cas pour enrichir le contenu et le rendre plus appropri pour une utilisation en classe.

Questa raccolta di sei casi compatti e note didattiche si basa sul Multidisciplinary Action Project (MAP) realizzato dagli studenti dell'MBA Sem III al Chimanbhai Patel Institute of Management and Research, Ahmedabad nell'anno accademico 2020-21. Il Multidisciplinary Action Project (MAP) parte integrante del curriculum accademico del programma MBA offerto da GTU, in cui gli studenti devono lavorare su progetti perseguibili in associazione con aziende / organizzazioni / ONG / enti rurali e devono risolvere problemi di business applicando le loro conoscenze da pi discipline. Questi casi compatti sono sviluppati da Mentori di Facolt utilizzando i dati raccolti dagli studenti attraverso visite e interviste dirette con proprietari / imprenditori di piccole imprese in Gujarat durante il MAP. I dati disponibili al pubblico sono stati utilizzati in alcuni dei casi per arricchire il contenuto e renderli pi appropriati per l'uso in classe.

Esta cole o de seis casos compactos e notas de ensino baseada no Projeto de A o Multidisciplinar (MAP) realizado por estudantes de MBA Sem III no Instituto Chimanbhai Patel de Gest o e Pesquisa, Ahmedabad no Ano Acad mico 2020-21. O Projeto de A o Multidisciplinar (MAP) parte integrante do curr culo acad mico do Programa de MBA oferecido pela GTU, onde os alunos t m que trabalhar em projetos acion veis em associa o com empresas / organiza es / ONGs / entidades rurais e t m que resolver problemas de neg cios aplicando seus conhecimentos de m ltiplas disciplinas. Estes casos compactos s o desenvolvidos por Mentores de Faculdade utilizando os dados coletados pelos alunos atrav s de visitas e entrevistas diretas realizadas com propriet rios / empres rios de pequenas empresas em Gujarat durante o MAP. Os dados dispon veis publicamente foram utilizados em alguns dos casos para enriquecer o conte do e torn -los mais apropriados para uso em sala de aula.

Diese Sammlung von sechs kompakten F llen und Lehrnotizen basiert auf einem multidisziplin ren Aktionsprojekt (MAP), das von Studenten des MBA Sem III am Chimanbhai Patel Institute of Management and Research, Ahmedabad im akademischen Jahr 2020-21 durchgef hrt wurde. Multidisciplinary Action Project (MAP) ist ein integraler Bestandteil des akademischen Lehrplans des von der GTU angebotenen MBA-Programms, bei dem die Studierenden in Zusammenarbeit mit Unternehmen/Organisationen/NGOs/l ndlichen Einrichtungen an umsetzbaren Projekten arbeiten und Gesch ftsprobleme durch Anwendung ihres Wissens aus verschiedenen Disziplinen l sen m ssen. Diese kompakten F lle werden von den Mentoren der Fakult t unter Verwendung der Daten entwickelt, die von den Studenten durch Besuche und direkte Interviews mit Eigent mern/Unternehmern von Kleinunternehmen in Gujarat w hrend des MAP gesammelt wurden. Bei einigen F llen wurden ffentlich verf gbare Daten verwendet, um den Inhalt zu bereichern und sie f r den Einsatz im Unterricht besser geeignet zu machen.