Lectures related to Formal system

BJT vs FET Operation

Compares BJT and FET operation in logic systems, discusses TTL vs CMOS technologies, and explores Set-Reset Latch functionality.

Boolean Algebra: Properties and Optimization

Covers Boolean algebra properties, optimization techniques, and the importance of valid groups in Karnaugh maps.

Logic Systems: Karnaugh Maps and TTL Gates

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

SR Latch and D Flip-Flop: Memory Elements in Logic Systems

Explores SR latch, D flip-flop, multiplexers, XOR gates, and tristate gates in logic systems.

Elevator Logic Systems

Explores elevator logic systems, including behavior analysis, logic functions, SR-Latches, and Set-Reset Latches.

FSM Design and Synthesis

Explains the design and synthesis of Finite State Machines in logic systems.

Boolean Algebra: Properties and Theorems

Covers the properties and theorems of Boolean algebra in logic systems.

CMOS Gates and Logic Systems

Covers the basics of CMOS gates and Logic Systems, highlighting the advantages of CMOS over TTL gates.

Logic Systems: Basics and Operators

Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.

Karnaugh Maps: Grouping Techniques

Explores Karnaugh maps, grouping rules, and transistor logic in logic systems.

SR and D Latches: Logic Systems

Covers the implementation of SR and D latches and flip-flops.

Integers Representation: Sign-and-Magnitude vs Two's Complement

Compares sign-and-magnitude with two's complement integer representations, emphasizing complexity differences and addressing overflow and underflow challenges.

Karnaugh Maps: Grouping Rules and Optimization

Explores Karnaugh map representations, grouping rules, optimization, and TTL gate technology.

Formally Correct Intermittent Systems

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

Finite State Machines: Medvedev vs. Moore vs. Mealy

Compares Medvedev, Moore, and Mealy FSM models and their structures.

WireGuard: Cryptographic Protocol for VPNs

Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.

Formal Logic: Proofs and Sets

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Optimizing Logic Functions

Covers the optimization of logic functions using Karnaugh diagrams and dealing with incomplete defined functions.

Boolean Algebra: Properties and Optimization

Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.

Finite State Machines: Basics and Design

Introduces finite state machines, covering basics, design, and practical applications like decoders and encoders.