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. |