TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

A drawing checker is an algorithm that receives as input a geometric structure and a predicate stating a property that should hold for the structure. The task of the checker is to verify whether the structure satisfies or not the given property. … Checking is especially relevant in the graph drawing context.  1, fiche 1, Anglais, - drawing%20checker

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Au niveau le plus bas, il s'agit de dessiner les transistors pour créer des portes logiques, en respectant les règles de dessin imposées par la technologie (succession de photolithogravures). Les outils utilisés sont des éditeurs graphiques, ou des éditeurs symboliques (qui font des tassements automatiques), des vérificateurs de dessins (qui contrôlent que les règles technologiques sont respectées), des extracteurs (qui déduisent la fonction logique à partir du dessin), des simulateurs électriques (qui utilisent des modèles physiques des transistors pour simuler et vérifier le fonctionnement logique).  1, fiche 1, Français, - v%C3%A9rificateur%20de%20dessins

Fiche 1,  Justifications,  Espagnol