Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation
Depuis plusieurs années, le marché des circuits intégrés numériques requiert des systèmes de plus en plus complexes dans un temps toujours plus réduit. Afin de répondre à ses deux exigences, les industriels de la conception font appel à des fournisseurs externes proposant des circuits fonctionnant s...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017GREAT064/document |