Fabrication des dispositifs à semi-conducteursthumb|upright=1.5|Évolution de la finesse de gravure des processeurs entre 1970 et 2017 La fabrication des dispositifs à semi-conducteur englobe les différentes opérations permettant l'élaboration de composants électroniques basés sur des matériaux semi-conducteurs. Entrent dans cette catégorie de composants à semi-conducteur, les composants discrets qui n'ont qu'une seule fonction comme les diodes et les transistors, et les circuits intégrés plus complexes, intégrant plusieurs composants, jusqu'à des milliards, dans le même boîtier.
Silicium-germaniumLes alliages silicium-germanium forment une famille de composés de formule GexSi1-x, utilisés en tant que semi-conducteurs dans des transistors. Ces alliages possèdent également de bonnes caractéristiques thermoélectriques aux hautes températures (au-dessus de ) et sont notamment utilisés pour la génération d’électricité dans le domaine spatial. Ce sont par exemple des alliages de ce type qui sont utilisés pour l' des sondes Voyager. Transistor Thermoélectricité Catégorie:Composé du silicium Catégorie:Comp
Depletion and enhancement modesIn field-effect transistors (FETs), depletion mode and enhancement mode are two major transistor types, corresponding to whether the transistor is in an on state or an off state at zero gate–source voltage. Enhancement-mode MOSFETs (metal–oxide–semiconductor FETs) are the common switching elements in most integrated circuits. These devices are off at zero gate–source voltage. NMOS can be turned on by pulling the gate voltage higher than the source voltage, PMOS can be turned on by pulling the gate voltage lower than the source voltage.
Enveloppe thermiqueL’enveloppe thermique, ou TDP (pour Thermal Design Power), d’un semi-conducteur, exprimée en watts (W), est le transfert thermique vers l'extérieur dont doit pouvoir bénéficier ce composant pour fonctionner correctement. Le TDP d'un processeur est utile à un fabricant de système de refroidissement pour ordinateur, ou de manière plus générale à un assembleur d'ordinateur ou à un utilisateur final d'ordinateur. L'augmentation de la finesse de gravure permet une diminution du courant d'alimentation des semi-conducteurs.
NetlistUne netlist décrit un circuit électrique (e.g. circuits imprimés, circuits intégrés). Un circuit électrique de base est composé d’éléments électriques (capacitances, résistances, inductances) reliés par des fils conducteurs. Une netlist peut être composée de plusieurs sous-circuits, qui peuvent quant à eux, être instanciés dans d'autres circuits et/ou sous-circuits. Une netlist sert souvent comme point d'entrée d'un simulateur électrique et peut être écrite à la main, mais aussi obtenue à partir d'un outil d'extraction ou de synthèse.
Conception de circuits intégrésLa conception (ou le design) de circuits intégrés (ou puces électroniques) consiste à réaliser les nombreuses étapes de développement (flot de conception ou design flow) nécessaires pour concevoir correctement et sans erreurs une puce électronique. Le point d'entrée est une spécification fonctionnelle qui décrit le fonctionnement voulu de la puce, ainsi que des contraintes non fonctionnelles (surface, coût, consommation...).
PhotodétecteurUn photodétecteur (ou détecteur photosensible ou détecteur optique ou détecteur de lumière) est un dispositif (détecteur) qui transforme la lumière qu'il absorbe en une grandeur mesurable, généralement un courant ou une tension électrique. Le capteur à fibre optique repose sur ce principe. Photodétecteurs (simples) : photomultiplicateur (ou phototube ou tube photomultiplicateur) ; photoconducteur (ou détecteur photoconducteur) ; photodiode ; photodiode à avalanche.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Jonction p-nvignette|230px|Jonction p-n dans du silicium. Sur ce schéma, les régions p et n sont reliées à des contacts métalliques, ce qui suffit à transformer la jonction en diode. vignette|230px|Le symbole d'une diode associé à la représentation d'une jonction p-n. En physique des semi-conducteurs, une jonction p-n désigne une zone du cristal où le dopage varie brusquement, passant d'un dopage p à un dopage n.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
