01_Orientation/01_Course_Promo_Video.mp4 |
2.71MB |
02_Welcome_and_Introduction_Week_1/01_Lecture_1.1_Welcome_and_Introduction.mp4 |
21.86MB |
02_Welcome_and_Introduction_Week_1/01_Lecture_1.1_Welcome_and_Introduction.srt |
23.04kB |
02_Welcome_and_Introduction_Week_1/01_Lecture_1.1_Welcome_and_Introduction.txt |
15.21kB |
03_Computational_Boolean_Algebra_Week_1/01_Lecture_2.1_Computational_Boolean_Algebra-_Basics_15-06.mp4 |
17.45MB |
03_Computational_Boolean_Algebra_Week_1/01_Lecture_2.1_Computational_Boolean_Algebra-_Basics_15-06.srt |
21.16kB |
03_Computational_Boolean_Algebra_Week_1/01_Lecture_2.1_Computational_Boolean_Algebra-_Basics_15-06.txt |
13.99kB |
03_Computational_Boolean_Algebra_Week_1/02_Lecture_2.2_Computational_Boolean_Algebra-_Boolean_Difference_15-51.mp4 |
18.65MB |
03_Computational_Boolean_Algebra_Week_1/02_Lecture_2.2_Computational_Boolean_Algebra-_Boolean_Difference_15-51.srt |
22.76kB |
03_Computational_Boolean_Algebra_Week_1/02_Lecture_2.2_Computational_Boolean_Algebra-_Boolean_Difference_15-51.txt |
15.17kB |
03_Computational_Boolean_Algebra_Week_1/03_Lecture_2.3_Computational_Boolean_Algebra-_Quantification_Operators_13-07.mp4 |
16.29MB |
03_Computational_Boolean_Algebra_Week_1/03_Lecture_2.3_Computational_Boolean_Algebra-_Quantification_Operators_13-07.srt |
17.53kB |
03_Computational_Boolean_Algebra_Week_1/03_Lecture_2.3_Computational_Boolean_Algebra-_Quantification_Operators_13-07.txt |
11.52kB |
03_Computational_Boolean_Algebra_Week_1/04_Lecture_2.4_Computational_Boolean_Algebra-Application_to_Logic_Network_Repair_16-19.mp4 |
19.45MB |
03_Computational_Boolean_Algebra_Week_1/04_Lecture_2.4_Computational_Boolean_Algebra-Application_to_Logic_Network_Repair_16-19.srt |
21.01kB |
03_Computational_Boolean_Algebra_Week_1/04_Lecture_2.4_Computational_Boolean_Algebra-Application_to_Logic_Network_Repair_16-19.txt |
13.88kB |
03_Computational_Boolean_Algebra_Week_1/05_Lecture_2.5_Computational_Boolean_Algebra-_Recursive_Tautology_9-48.mp4 |
13.66MB |
03_Computational_Boolean_Algebra_Week_1/05_Lecture_2.5_Computational_Boolean_Algebra-_Recursive_Tautology_9-48.srt |
14.37kB |
03_Computational_Boolean_Algebra_Week_1/05_Lecture_2.5_Computational_Boolean_Algebra-_Recursive_Tautology_9-48.txt |
9.51kB |
03_Computational_Boolean_Algebra_Week_1/06_Lecture_2.6_Computational_Boolean_Algebra-_Recursive_Tautology--URP_Implementation_20-49.mp4 |
24.38MB |
03_Computational_Boolean_Algebra_Week_1/06_Lecture_2.6_Computational_Boolean_Algebra-_Recursive_Tautology--URP_Implementation_20-49.srt |
29.48kB |
03_Computational_Boolean_Algebra_Week_1/06_Lecture_2.6_Computational_Boolean_Algebra-_Recursive_Tautology--URP_Implementation_20-49.txt |
19.54kB |
04_BDDs_SAT_Week_2/01_Lecture_3.1-_BDD_Basics_Part_1_15-17.mp4 |
19.13MB |
04_BDDs_SAT_Week_2/01_Lecture_3.1-_BDD_Basics_Part_1_15-17.srt |
22.04kB |
04_BDDs_SAT_Week_2/01_Lecture_3.1-_BDD_Basics_Part_1_15-17.txt |
14.45kB |
04_BDDs_SAT_Week_2/02_Lecture_3.2-_BDD_Basics_Part_2_16-51.mp4 |
20.85MB |
04_BDDs_SAT_Week_2/02_Lecture_3.2-_BDD_Basics_Part_2_16-51.srt |
22.33kB |
04_BDDs_SAT_Week_2/02_Lecture_3.2-_BDD_Basics_Part_2_16-51.txt |
14.46kB |
04_BDDs_SAT_Week_2/03_Lecture_3.3-_BDD_Sharing_17-00.mp4 |
21.19MB |
04_BDDs_SAT_Week_2/03_Lecture_3.3-_BDD_Sharing_17-00.srt |
21.33kB |
04_BDDs_SAT_Week_2/03_Lecture_3.3-_BDD_Sharing_17-00.txt |
13.81kB |
04_BDDs_SAT_Week_2/04_Lecture_3.4-_BDD_Ordering_28-12.mp4 |
34.82MB |
04_BDDs_SAT_Week_2/04_Lecture_3.4-_BDD_Ordering_28-12.srt |
38.60kB |
04_BDDs_SAT_Week_2/04_Lecture_3.4-_BDD_Ordering_28-12.txt |
25.48kB |
04_BDDs_SAT_Week_2/05_Lecture_4.1-_SAT_Part_1_13-51.mp4 |
19.36MB |
04_BDDs_SAT_Week_2/05_Lecture_4.1-_SAT_Part_1_13-51.srt |
21.15kB |
04_BDDs_SAT_Week_2/05_Lecture_4.1-_SAT_Part_1_13-51.txt |
14.05kB |
04_BDDs_SAT_Week_2/06_Lecture_4.2-_Sat_Part_2_17-56.mp4 |
23.39MB |
04_BDDs_SAT_Week_2/06_Lecture_4.2-_Sat_Part_2_17-56.srt |
25.35kB |
04_BDDs_SAT_Week_2/06_Lecture_4.2-_Sat_Part_2_17-56.txt |
16.61kB |
04_BDDs_SAT_Week_2/07_Lecture_4.3-_Sat_For_Logic_25-45.mp4 |
30.12MB |
04_BDDs_SAT_Week_2/07_Lecture_4.3-_Sat_For_Logic_25-45.srt |
36.35kB |
04_BDDs_SAT_Week_2/07_Lecture_4.3-_Sat_For_Logic_25-45.txt |
23.34kB |
05_2-Level_Synthesis_Algebraic_Division_Week_3/01_5.1_2-Level_Logic-_Basics_9-29.mp4 |
14.17MB |
05_2-Level_Synthesis_Algebraic_Division_Week_3/01_5.1_2-Level_Logic-_Basics_9-29.srt |
14.93kB |
05_2-Level_Synthesis_Algebraic_Division_Week_3/01_5.1_2-Level_Logic-_Basics_9-29.txt |
9.85kB |
05_2-Level_Synthesis_Algebraic_Division_Week_3/02_5.2_2-Level_Logic-_the_Reduce-Expand-Irredundant_Optimization_Loop_13-06.mp4 |
16.54MB |
05_2-Level_Synthesis_Algebraic_Division_Week_3/02_5.2_2-Level_Logic-_the_Reduce-Expand-Irredundant_Optimization_Loop_13-06.srt |
17.84kB |
05_2-Level_Synthesis_Algebraic_Division_Week_3/02_5.2_2-Level_Logic-_the_Reduce-Expand-Irredundant_Optimization_Loop_13-06.txt |
11.79kB |
Too many files! Click here to view them all.
|