Structuration des données dans les outils de vérification back-end
Résumé
La conception des systèmes électroniques et informatiques requièrent des circuits VLSI de plus en plus puissants. Pour répondre à ces exigences les designers intègrent toujours plus de transistors pour une surface qui reste constante avec des temps de cycle toujours plus faibles. On s’intéresse dans cet article aux problèmes induient par cette augmentation de puissance dans le cadre de la vérification back-end. Puis on présente une structure de donnée qui répond à ces difficultées nouvelles.