Conception et vérification des circuits VLSI

Pratiquement toutes les puces conçues et fabriquées de nos jours utilisent la technologie des circuits intégrés à très grande échelle, ou circuits VLSI. De surcroît, la rapidité avec laquelle les technologies émergent engendre l'évolution rapide de nombreux domaines, notamment de la conception et de la vérification des circuits VLSI. S'il existe un nombre impressionnant de publications spécialisées qui témoignent de la vigueur de la recherche dans ces deux domaines, peu d'ouvrages, par contre, en font la synthèse. Conception et vérification des circuits VLSI vient combler cette lacune. En effet, le lecteur y verra traités des sujets aussi divers que les procédés de fabrication, les formes de logique CMOS, la conception de systèmes, les méthodes de conception et la vérification des circuits. Cet ouvrage s'adresse tant à l'étudiant qui suit un premier cours en conception de circuits intégrés numériques qu'au professionnel de l'informatique ou de l'électronique qui désire mettre à jour ses connaissances et s'y retrouver dans l'abondante documentation spécialisée publiée sur le sujet.