**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Lecture# Logic Gates and IC Technology

Description

This lecture covers the implementation of logic gates in semiconductor material, focusing on two main logic families: Transistor to Transistor Logic (TTL) and Complementary Metal Oxide Silicon (CMOS). It discusses the technology of Integrated Circuits (ICs), static and dynamic hazards, gated clocks, real D flip-flops, metastability, critical path, maximum clock frequency, and switch debouncing. The lecture also delves into the elimination of static hazards using Karnaugh maps, the theory of zero-delay models, and the construction of NOR gates in TTL and CMOS technologies.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

In course

Instructor

Related concepts (112)

EE-110: Logic systems (for MT)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn

Logic

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.

Formal system

A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined system of abstract thought.

Modal logic

Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation. Modal logic considers the inferences that modal statements give rise to.

NOR gate

The NOR gate is a digital logic gate that implements logical NOR - it behaves according to the truth table to the right. A HIGH output (1) results if both the inputs to the gate are LOW (0); if one or both input is HIGH (1), a LOW output (0) results. NOR is the result of the negation of the OR operator. It can also in some senses be seen as the inverse of an AND gate. NOR is a functionally complete operation—NOR gates can be combined to generate any other logical function. It shares this property with the NAND gate.

Mathematical logic

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.

Related lectures (103)

Logic Gates and Hazard EliminationEE-110: Logic systems (for MT)

Explores logic gates, hazard elimination, ALUs, counters, and shift registers in semiconductor technology.

Logic Systems: Multiplexers and Flip-FlopsEE-110: Logic systems (for MT)

Explains SR latch circuits, D-latches, D-flip-flops, clock signals, and multiplexers in logic systems.

Transistor Logic Gates: TTL vs CMOSEE-110: Logic systems (for MT)

Compares BJT and MOSFET in logic systems, focusing on TTL vs CMOS technologies.

Logic Systems: Karnaugh Maps and TTL GatesEE-110: Logic systems (for MT)

Explores Karnaugh maps, TTL gates, analog aspects of digital logic, and prime implicants.

Logic Systems: Technology OverviewEE-110: Logic systems (for MT)

Provides an overview of the technology behind logic gates, covering TTL and CMOS families and addressing static and dynamic hazards, gated clocks, and switch debouncing.