Revue de description matérielle, d'architecture FPGA et de chaîne de conception (Vérification formelle et simulation)

Nous relisons votre logique programmable sous l'angle du thème Vérification formelle et simulation : structure et hiérarchie des modules, gestion des horloges et des passages d'un domaine d'horloge à un autre, contraintes de temps, réinitialisation, style de description et respect de vos règles de codage. La revue s'appuie sur la lecture des sources, sur les rapports de synthèse, de simulation et d'analyse de temps que votre chaîne produit, et sur des entretiens avec les équipes techniques et encadrants qui maintiennent le produit.

Le rapport classe les écarts par criticité, relie chacun à sa cause probable et estime l'effort de correction. Il ne vaut ni avis d'un organisme tiers ni qualification d'un outil ou d'un flot de conception. Il vous sert à décider quoi corriger avant un envoi en fabrication ou une livraison, à préparer un échange avec votre donneur d'ordre et à alimenter votre dossier technique.

Déroulé de la prestation

1. Cadrage

   Nous fixons avec vous le périmètre, le référentiel applicable et les interlocuteurs, et nous convenons des règles de confidentialité et d'accès au site.

2. Lecture documentaire

   Nous lisons les procédures, enregistrements et comptes rendus relatifs au thème Vérification formelle et simulation, avant toute rencontre, pour arriver sur le terrain avec des questions précises.

3. Entretiens et observation

   Nous rencontrons les responsables et les intervenants, et nous observons les pratiques sur le terrain lorsque l'accès est possible.

4. Analyse des écarts

   Chaque constat est rattaché à une exigence identifiée, classé par gravité et par urgence, et associé à une action corrective, un responsable et un délai.

5. Restitution

   Nous présentons le rapport à votre direction, répondons aux objections et, si vous le souhaitez, préparons avec vous le plan d'actions.

Livrables, format et conditions

Au terme de la prestation, vous disposez des éléments suivants, rédigés pour être présentés à votre direction, à votre donneur d'ordre ou à l'autorité.

• Rapport de revue des descriptions matérielles et de l'architecture, avec écarts classés par criticité
• Examen des rapports de synthèse, de simulation et d'analyse de temps
• Plan d'actions chiffré en effort, présenté à la direction technique

Format et charge : forfait, 5 à 12 jours. Idéal pour : directeur technique, responsable de bureau d'études ou ingénieur FPGA d'un fabricant d'équipements électroniques. Prérequis de votre côté : accès aux sources de description matérielle, aux scripts de la chaîne de conception, aux contraintes et aux rapports de simulation, et à un référent technique pour les entretiens.

Exemples d'usage

Deux situations d'exemple dans lesquelles cette prestation a du sens. Ce sont des exemples construits à partir de situations courantes du secteur, pas des références clients ; les chiffres sont indicatifs et dépendent du site et du périmètre.