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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01544251
Contributor : Lip6 Publications <>
Submitted on : Wednesday, June 21, 2017 - 3:07:01 PM
Last modification on : Thursday, March 21, 2019 - 1:06:51 PM

Identifiers

  • HAL Id : hal-01544251, version 1

Citation

Dominique Le Dû, Pirouz Bazargan Sabet. Structuration des données dans les outils de vérification back-end. Troisième colloque du GDR CAO de circuits et systèmes intégrés, 2002, Paris, France. pp.129-132. ⟨hal-01544251⟩

Share

Metrics

Record views

43