Virtual Engineering provides online lectures on the subject Digital Logic Design.

EEE241-DLD-16a: Boolean functions simplification-five-variable K-maps
24:22
EEE241-DLD-16a: Boolean functions simplification-five-variable K-maps
EEE241-DLD-13-2: Binary Counters
32:27
EEE241-DLD-13-2: Binary Counters
EEE241-DLD-6-b: Product of sums simplification and don't care conditions
30:03
EEE241-DLD-6-b: Product of sums simplification and don't care conditions
EEE241-DLD-6-a: Boolean functions simplification using four variables K-maps
35:21
EEE241-DLD-6-a: Boolean functions simplification using four variables K-maps
EEE241-DLD-5-b: Boolean function simplification using three variables K-map
38:54
EEE241-DLD-5-b: Boolean function simplification using three variables K-map
EEE241-DLD-5-a: Boolean function simplification-3 var maps
34:33
EEE241-DLD-5-a: Boolean function simplification-3 var maps
EEE241-DLD-4-b: Boolean function simplification-two var maps
26:03
EEE241-DLD-4-b: Boolean function simplification-two var maps
EEE241-DLD-4-a: Canonical and standard forms of Boolean functions
32:43
EEE241-DLD-4-a: Canonical and standard forms of Boolean functions
EEE241-DLD-3-a Boolean functions
44:43
EEE241-DLD-3-a Boolean functions
EEE241-DLD-2-a: Binary codes, complements, register transfer
32:11
EEE241-DLD-2-a: Binary codes, complements, register transfer
EEE241-DLD-1-b: Digital Logic Design - Binary codes
25:28
EEE241-DLD-1-b: Digital Logic Design - Binary codes
EEE342-MP-14b:Input Ouput interfacing with 8088 and 8086 microprocessors
36:16
EEE342-MP-14b:Input Ouput interfacing with 8088 and 8086 microprocessors
EEE342-MP-14a: Memory interfacing with 8088 and 8086 microprocessors
44:34
EEE342-MP-14a: Memory interfacing with 8088 and 8086 microprocessors
EEE342-MP-13b: Memory interfacing with 8088 and 8086 microprocessors
39:21
EEE342-MP-13b: Memory interfacing with 8088 and 8086 microprocessors
EEE342-MP-13a: Buffering and de-multiplexing 8086 and 8088 microprocessors
35:26
EEE342-MP-13a: Buffering and de-multiplexing 8086 and 8088 microprocessors
Lecture-9b: Formal verification using Coq-Polymorphic types, list, rep, rev, length
38:05
Lecture-9b: Formal verification using Coq-Polymorphic types, list, rep, rev, length
Lecture-9a: Formal verification using Coq-Polymorphic types, list, implicit arguments
39:11
Lecture-9a: Formal verification using Coq-Polymorphic types, list, implicit arguments
EEE342-MP-12b: Pin configuration of 8080 and 8088 microprocessors
41:17
EEE342-MP-12b: Pin configuration of 8080 and 8088 microprocessors
EEE342-MP-10b: Processor control and control flow instructions
38:25
EEE342-MP-10b: Processor control and control flow instructions
Lecture-8b: Formal verification using Coq-theorems using function listnat equality, list equivalence
35:18
Lecture-8b: Formal verification using Coq-theorems using function listnat equality, list equivalence
EEE342-MP-12a: Pin Configuration of 8080 8088 microprocessors
40:37
EEE342-MP-12a: Pin Configuration of 8080 8088 microprocessors
Lecture-8a: Formal verification using Coq- Defining listnat equality, list equivalence
39:31
Lecture-8a: Formal verification using Coq- Defining listnat equality, list equivalence
EEE342-MP-11b: Software and hardware Interrupts
32:37
EEE342-MP-11b: Software and hardware Interrupts
EEE342-MP-11a: Control transfer instructions
29:52
EEE342-MP-11a: Control transfer instructions
Lecture-7b: Formal verification using Coq-list, natlist, lemmas on app and alternate
39:20
Lecture-7b: Formal verification using Coq-list, natlist, lemmas on app and alternate
Lecture-7a: Formal verification using Coq-list, natlist, lemmas on app and alternate
40:09
Lecture-7a: Formal verification using Coq-list, natlist, lemmas on app and alternate
EEE342-MP-10a: String manipulation and processor control instructions
39:26
EEE342-MP-10a: String manipulation and processor control instructions
Lecture-6b: Verification using Coq-list, natlist, bags, add, remove, member
37:14
Lecture-6b: Verification using Coq-list, natlist, bags, add, remove, member
Lecture-6a: Verification using Coq-list, natlist, bags, alternate, sum of bags
39:18
Lecture-6a: Verification using Coq-list, natlist, bags, alternate, sum of bags
EEE342-MP-9b: String instructions CMPS, SCAS, LODS, STOS
40:05
EEE342-MP-9b: String instructions CMPS, SCAS, LODS, STOS