Circuits statiques et dynamiquesIn integrated circuit design, dynamic logic (or sometimes clocked logic) is a design methodology in combinational logic circuits, particularly those implemented in metal–oxide–semiconductor (MOS) technology. It is distinguished from the so-called static logic by exploiting temporary storage of information in stray and gate capacitances. It was popular in the 1970s and has seen a recent resurgence in the design of high-speed digital electronics, particularly central processing units (CPUs).
Théorie des automatesEn informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Diagramme états-transitionsUn diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates déterministes. Il fait partie du modèle UML et s'inspire principalement du formalisme des statecharts et rappelle les grafcets des automates. S'ils ne permettent pas de comprendre globalement le fonctionnement du système, ils sont directement transposables en algorithme. En effet, contrairement au diagramme d'activité qui aborde le système d'un point de vue global, le diagramme états-transitions cible un objet unique du système.
Algèbre de Boole (logique)Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Horloge électriqueLes horloges électriques sont des horloges mues par un courant électrique. L’horloge électrique a été inventée dans la première moitié du . En 1820, le Français André-Marie Ampère invente l'électro-aimant et propose des bases d'étude de l'électromagnétisme (les effets magnétiques du courant électrique). Cette propriété est utilisée dans les moteurs électriques, de haut-parleurs, les appareils d'enregistrement comme les magnétoscopes, les magnétophones, etc. En 1840, l'horloger écossais Alexander Bain réalise la première horloge électrique.
Machine de MealyEn informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Mealy ou automate de Mealy est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties dépendent à la fois de l'état courant et des symboles d'entrée. Cela signifie que l'étiquette de chaque transition est un couple formé d'une lettre d'entrée et d'une lettre de sortie. En particulier, la longueur du mot de sortie est égale à la longueur du mot d'entrée.
Algèbre de Boole (structure)vignette|Exemple d'algèbre de Boole : l'ensemble des parties de l'ensemble {x, y, z} illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière, soit comme une structure algébrique particulière, soit comme un anneau (unitaire) dont tout élément égale son carré.
Complete Boolean algebraIn mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to construct Boolean-valued models of set theory in the theory of forcing. Every Boolean algebra A has an essentially unique completion, which is a complete Boolean algebra containing A such that every element is the supremum of some subset of A. As a partially ordered set, this completion of A is the Dedekind–MacNeille completion.
Striking clockA striking clock is a clock that sounds the hours audibly on a bell, gong, or other audible device. In 12-hour striking, used most commonly in striking clocks today, the clock strikes once at 1:00 am, twice at 2:00 am, continuing in this way up to twelve times at 12:00 mid-day, then starts again, striking once at 1:00pm, twice at 2:00 pm, up to twelve times at 12:00 midnight. The striking feature of clocks was originally more important than their clock faces; the earliest clocks struck the hours, but had no dials to enable the time to be read.
Table de transition d'étatDans la théorie des automates et en logique séquentielle, une table de transition d'état est un tableau montrant dans quel état (ou états dans le cas d'un automate fini non déterministe) d'un automate fini se déplacer, sur la base de l'état actuel et des autres entrées. Une table d'état est essentiellement une table de vérité, dans laquelle certaines des entrées sont l'état actuel, et les sorties comprennent l'état suivant, en même temps que les autres sorties.
Emitter coupled logicvignette|Schéma ECL Motorola Emitter Coupled Logic ou Logique à émetteurs couplés (ECL) est une technologie de circuits logiques permettant un niveau de performances supérieur à la technologie TTL moyennant une consommation bien plus importante. Pour la conception de circuits logiques, la technologie ECL est aujourd'hui totalement dépassée ; elle a eu son heure de gloire à l'époque du supercalculateur Cray-1, entièrement réalisé en logique ECL.
Clock gatingvignette|Circuit de clock gating, l'horloge est verrouillée à l'état haut En électronique numérique, et plus particulièrement lors de la conception de circuit (CPU, GPU, contrôleur mémoire, périphériques), le clock gating est une méthode de réduction de la consommation dynamique d'un circuit. L'arbre d’horloge d'un circuit synchrone représente généralement une part non négligeable de sa consommation dynamique. Le clock gating consiste donc à couper le signal d'horloge d'une partie du circuit lorsque celle-ci est inactive.
