Vlsicad 003 | EC1C86AFEFDA42F4B36C34AE7B235EF0BFD6B9D3

Vlsicad 003

Name	vlsicad-003	DOWNLOAD Copy Link
Total Size	1.6 GB
Total Files	342
Last Seen	2024-10-15 23:31
Hash	EC1C86AFEFDA42F4B36C34AE7B235EF0BFD6B9D3

/01_Orientation/
01_Course_Promo_Video.mp4	2.7 MB
/02_Welcome_and_Introduction_Week_1/
01_Lecture_1.1_Welcome_and_Introduction.mp4	21.9 MB
01_Lecture_1.1_Welcome_and_Introduction.srt	23.0 KB
01_Lecture_1.1_Welcome_and_Introduction.txt	15.2 KB
/03_Computational_Boolean_Algebra_Week_1/
01_Lecture_2.1_Computational_Boolean_Algebra-_Basics_15-06.mp4	17.4 MB
01_Lecture_2.1_Computational_Boolean_Algebra-_Basics_15-06.srt	21.2 KB
01_Lecture_2.1_Computational_Boolean_Algebra-_Basics_15-06.txt	14.0 KB
02_Lecture_2.2_Computational_Boolean_Algebra-_Boolean_Difference_15-51.mp4	18.6 MB
02_Lecture_2.2_Computational_Boolean_Algebra-_Boolean_Difference_15-51.srt	22.8 KB
02_Lecture_2.2_Computational_Boolean_Algebra-_Boolean_Difference_15-51.txt	15.2 KB
03_Lecture_2.3_Computational_Boolean_Algebra-_Quantification_Operators_13-07.mp4	16.3 MB
03_Lecture_2.3_Computational_Boolean_Algebra-_Quantification_Operators_13-07.srt	17.5 KB
03_Lecture_2.3_Computational_Boolean_Algebra-_Quantification_Operators_13-07.txt	11.5 KB
04_Lecture_2.4_Computational_Boolean_Algebra-Application_to_Logic_Network_Repair_16-19.mp4	19.4 MB
04_Lecture_2.4_Computational_Boolean_Algebra-Application_to_Logic_Network_Repair_16-19.srt	21.0 KB
04_Lecture_2.4_Computational_Boolean_Algebra-Application_to_Logic_Network_Repair_16-19.txt	13.9 KB
05_Lecture_2.5_Computational_Boolean_Algebra-_Recursive_Tautology_9-48.mp4	13.7 MB
05_Lecture_2.5_Computational_Boolean_Algebra-_Recursive_Tautology_9-48.srt	14.4 KB
05_Lecture_2.5_Computational_Boolean_Algebra-_Recursive_Tautology_9-48.txt	9.5 KB
06_Lecture_2.6_Computational_Boolean_Algebra-_Recursive_Tautology--URP_Implementation_20-49.mp4	24.4 MB
06_Lecture_2.6_Computational_Boolean_Algebra-_Recursive_Tautology--URP_Implementation_20-49.srt	29.5 KB
06_Lecture_2.6_Computational_Boolean_Algebra-_Recursive_Tautology--URP_Implementation_20-49.txt	19.5 KB
/04_BDDs_SAT_Week_2/
01_Lecture_3.1-_BDD_Basics_Part_1_15-17.mp4	19.1 MB
01_Lecture_3.1-_BDD_Basics_Part_1_15-17.srt	22.0 KB
01_Lecture_3.1-_BDD_Basics_Part_1_15-17.txt	14.4 KB
02_Lecture_3.2-_BDD_Basics_Part_2_16-51.mp4	20.8 MB
02_Lecture_3.2-_BDD_Basics_Part_2_16-51.srt	22.3 KB
02_Lecture_3.2-_BDD_Basics_Part_2_16-51.txt	14.5 KB
03_Lecture_3.3-_BDD_Sharing_17-00.mp4	21.2 MB
03_Lecture_3.3-_BDD_Sharing_17-00.srt	21.3 KB
03_Lecture_3.3-_BDD_Sharing_17-00.txt	13.8 KB
04_Lecture_3.4-_BDD_Ordering_28-12.mp4	34.8 MB
04_Lecture_3.4-_BDD_Ordering_28-12.srt	38.6 KB
04_Lecture_3.4-_BDD_Ordering_28-12.txt	25.5 KB
05_Lecture_4.1-_SAT_Part_1_13-51.mp4	19.4 MB
05_Lecture_4.1-_SAT_Part_1_13-51.srt	21.2 KB
05_Lecture_4.1-_SAT_Part_1_13-51.txt	14.0 KB
06_Lecture_4.2-_Sat_Part_2_17-56.mp4	23.4 MB
06_Lecture_4.2-_Sat_Part_2_17-56.srt	25.4 KB
06_Lecture_4.2-_Sat_Part_2_17-56.txt	16.6 KB
07_Lecture_4.3-_Sat_For_Logic_25-45.mp4	30.1 MB
07_Lecture_4.3-_Sat_For_Logic_25-45.srt	36.4 KB
07_Lecture_4.3-_Sat_For_Logic_25-45.txt	23.3 KB
/05_2-Level_Synthesis_Algebraic_Division_Week_3/
01_5.1_2-Level_Logic-_Basics_9-29.mp4	14.2 MB
01_5.1_2-Level_Logic-_Basics_9-29.srt	14.9 KB
01_5.1_2-Level_Logic-_Basics_9-29.txt	9.9 KB
02_5.2_2-Level_Logic-_the_Reduce-Expand-Irredundant_Optimization_Loop_13-06.mp4	16.5 MB
02_5.2_2-Level_Logic-_the_Reduce-Expand-Irredundant_Optimization_Loop_13-06.srt	17.8 KB
02_5.2_2-Level_Logic-_the_Reduce-Expand-Irredundant_Optimization_Loop_13-06.txt	11.8 KB
03_5.3_Details_for_One_Step-_Expand_20-33.mp4	31.0 MB
03_5.3_Details_for_One_Step-_Expand_20-33.srt	29.1 KB
03_5.3_Details_for_One_Step-_Expand_20-33.txt	19.2 KB
04_6.1_Multilevel_Logic_and_the_Boolean_Network_Model_13-57.mp4	23.0 MB
04_6.1_Multilevel_Logic_and_the_Boolean_Network_Model_13-57.srt	20.4 KB
04_6.1_Multilevel_Logic_and_the_Boolean_Network_Model_13-57.txt	13.6 KB
05_6.2_Multilevel_Logic-_Algebraic_Model_for_Factoring_14-15.mp4	22.5 MB
05_6.2_Multilevel_Logic-_Algebraic_Model_for_Factoring_14-15.srt	19.1 KB
05_6.2_Multilevel_Logic-_Algebraic_Model_for_Factoring_14-15.txt	12.6 KB
06_6.3_Multilevel_Logic-_Algebraic_Division_14-13.mp4	23.0 MB
06_6.3_Multilevel_Logic-_Algebraic_Division_14-13.srt	18.9 KB
06_6.3_Multilevel_Logic-_Algebraic_Division_14-13.txt	12.4 KB
07_6.4_Multilevel_Logic-_Role_of_Kernels_and_Co-Kernels_in_Factoring_14-49.mp4	19.7 MB
07_6.4_Multilevel_Logic-_Role_of_Kernels_and_Co-Kernels_in_Factoring_14-49.srt	19.0 KB
07_6.4_Multilevel_Logic-_Role_of_Kernels_and_Co-Kernels_in_Factoring_14-49.txt	12.6 KB
08_6.5_Multilevel_Logic-_Finding_the_Kernels_18-28.mp4	28.6 MB
08_6.5_Multilevel_Logic-_Finding_the_Kernels_18-28.srt	25.6 KB
08_6.5_Multilevel_Logic-_Finding_the_Kernels_18-28.txt	16.9 KB
/06_Multilevel_Factor_Extract_Dont_Cares_Week_4/
01_7.1-_Mulitlevel_Logic_and_Divisor_Extraction_-_Single_Cube_Case_14-24.mp4	19.3 MB
01_7.1-_Mulitlevel_Logic_and_Divisor_Extraction_-_Single_Cube_Case_14-24.srt	20.5 KB
01_7.1-_Mulitlevel_Logic_and_Divisor_Extraction_-_Single_Cube_Case_14-24.txt	13.6 KB
02_7.2-_Mulitlevel_Logic_and_Divisor_Extraction_-_Multiple_Cube_Case_20-38.mp4	25.5 MB
02_7.2-_Mulitlevel_Logic_and_Divisor_Extraction_-_Multiple_Cube_Case_20-38.srt	27.2 KB
02_7.2-_Mulitlevel_Logic_and_Divisor_Extraction_-_Multiple_Cube_Case_20-38.txt	18.0 KB
03_7.3-_Multilevel_Logic_and_Divisor_Extraction_-_Finding_Prime_Rectangles__Summary_10-46.mp4	14.6 MB
03_7.3-_Multilevel_Logic_and_Divisor_Extraction_-_Finding_Prime_Rectangles__Summary_10-46.srt	17.3 KB
03_7.3-_Multilevel_Logic_and_Divisor_Extraction_-_Finding_Prime_Rectangles__Summary_10-46.txt	11.5 KB
04_8.1-_Logic_Synthesis_-_Implicit_Dont_Cares_Part_1_17-42.mp4	23.4 MB
04_8.1-_Logic_Synthesis_-_Implicit_Dont_Cares_Part_1_17-42.srt	24.3 KB
04_8.1-_Logic_Synthesis_-_Implicit_Dont_Cares_Part_1_17-42.txt	16.0 KB
05_8.2-_Logic_Synthesis_-_Implicit_Dont_Cares_Part_2_11-18.mp4	13.7 MB
05_8.2-_Logic_Synthesis_-_Implicit_Dont_Cares_Part_2_11-18.srt	14.9 KB
05_8.2-_Logic_Synthesis_-_Implicit_Dont_Cares_Part_2_11-18.txt	9.8 KB
06_8.3-_Logic_Synthesis_-_Satisfiability_Dont_Cares_10-50.mp4	13.7 MB
06_8.3-_Logic_Synthesis_-_Satisfiability_Dont_Cares_10-50.srt	15.2 KB
06_8.3-_Logic_Synthesis_-_Satisfiability_Dont_Cares_10-50.txt	10.1 KB
07_8.4-_Logic_Synthesis_-_Controllability_Dont_Cares_19-59.mp4	30.1 MB
07_8.4-_Logic_Synthesis_-_Controllability_Dont_Cares_19-59.srt	27.2 KB
07_8.4-_Logic_Synthesis_-_Controllability_Dont_Cares_19-59.txt	18.2 KB
08_8.5-_Logic_Synthesis_-_Observability_Dont_Cares_17-22.mp4	26.8 MB
08_8.5-_Logic_Synthesis_-_Observability_Dont_Cares_17-22.srt	23.6 KB
08_8.5-_Logic_Synthesis_-_Observability_Dont_Cares_17-22.txt	15.7 KB
/07_ASIC_Placement_Week_5/
01_9.1_Basics_17-29.mp4	22.0 MB
01_9.1_Basics_17-29.srt	28.3 KB
01_9.1_Basics_17-29.txt	18.7 KB
02_9.2-_Wirelength_Estimation_15-05.mp4	18.8 MB
02_9.2-_Wirelength_Estimation_15-05.srt	22.5 KB
02_9.2-_Wirelength_Estimation_15-05.txt	15.0 KB
03_9.3_Simple_Iterative_Improvement_Placement_12-18.mp4	16.0 MB
03_9.3_Simple_Iterative_Improvement_Placement_12-18.srt	18.7 KB
03_9.3_Simple_Iterative_Improvement_Placement_12-18.txt	12.2 KB
04_9.4_Iterative_Improvement_with_Hill_Climbing_15-16.mp4	19.2 MB
04_9.4_Iterative_Improvement_with_Hill_Climbing_15-16.srt	21.3 KB
04_9.4_Iterative_Improvement_with_Hill_Climbing_15-16.txt	14.0 KB
05_9.5_Simulated_Annealing_Placement_21-03.mp4	33.6 MB
05_9.5_Simulated_Annealing_Placement_21-03.srt	41.7 KB
05_9.5_Simulated_Annealing_Placement_21-03.txt	27.6 KB
06_9.6_Quadratic_Wirelength_Model_14-39.mp4	19.2 MB
06_9.6_Quadratic_Wirelength_Model_14-39.srt	20.0 KB
06_9.6_Quadratic_Wirelength_Model_14-39.txt	13.1 KB
07_9.7_Quadratic_Placement_26-39.mp4	38.3 MB
07_9.7_Quadratic_Placement_26-39.srt	35.0 KB
07_9.7_Quadratic_Placement_26-39.txt	23.0 KB
08_9.8_Recursive_Partitioning_18-15.mp4	24.3 MB
08_9.8_Recursive_Partitioning_18-15.srt	26.0 KB
08_9.8_Recursive_Partitioning_18-15.txt	17.3 KB
09_9.9_Recursive_Partitioning_Example_16-28.mp4	24.5 MB
09_9.9_Recursive_Partitioning_Example_16-28.srt	24.0 KB
09_9.9_Recursive_Partitioning_Example_16-28.txt	15.9 KB
/08_Technology_Mapping_Week_6/
01_10.1_Basics_19-13.mp4	30.0 MB
01_10.1_Basics_19-13.srt	28.9 KB
01_10.1_Basics_19-13.txt	19.3 KB
02_10.2_Technology_Mapping_as_Tree_Covering_29-36.mp4	34.0 MB
02_10.2_Technology_Mapping_as_Tree_Covering_29-36.srt	42.5 KB
02_10.2_Technology_Mapping_as_Tree_Covering_29-36.txt	27.9 KB
03_10.3_Tree-ifying_the_Netlist_12-07.mp4	22.4 MB
03_10.3_Tree-ifying_the_Netlist_12-07.srt	21.6 KB
03_10.3_Tree-ifying_the_Netlist_12-07.txt	13.0 KB
04_10.4_Recursive_Matching_9-00.mp4	13.1 MB
04_10.4_Recursive_Matching_9-00.srt	13.4 KB
04_10.4_Recursive_Matching_9-00.txt	8.8 KB
05_10.5_Minimum_Cost_Covering_16-08.mp4	20.3 MB
05_10.5_Minimum_Cost_Covering_16-08.srt	23.5 KB
05_10.5_Minimum_Cost_Covering_16-08.txt	15.5 KB
06_10.6_Detailed_Covering_Example_14-28.mp4	17.7 MB
06_10.6_Detailed_Covering_Example_14-28.srt	20.4 KB
06_10.6_Detailed_Covering_Example_14-28.txt	13.4 KB
/09_ASIC_Routing_Week_7/
01_11.1_Routing_Basics_17-13.mp4	22.7 MB
01_11.1_Routing_Basics_17-13.srt	27.7 KB
01_11.1_Routing_Basics_17-13.txt	18.2 KB
02_11.2_Maze_Routing-_2-Point_Nets_in_1_Layer_16-35.mp4	21.0 MB
02_11.2_Maze_Routing-_2-Point_Nets_in_1_Layer_16-35.srt	26.1 KB
02_11.2_Maze_Routing-_2-Point_Nets_in_1_Layer_16-35.txt	17.3 KB
03_11.3_Maze_Routing-_Multi-Point_Nets_12-24.mp4	16.7 MB
03_11.3_Maze_Routing-_Multi-Point_Nets_12-24.srt	18.8 KB
03_11.3_Maze_Routing-_Multi-Point_Nets_12-24.txt	12.5 KB
04_11.4_Maze_Routing-_Multi-Layer_Routing_12-21.mp4	15.5 MB
04_11.4_Maze_Routing-_Multi-Layer_Routing_12-21.srt	19.2 KB
04_11.4_Maze_Routing-_Multi-Layer_Routing_12-21.txt	12.5 KB
05_11.5_Maze_Routing-_Non-Uniform_Grid_Costs_14-57.mp4	21.5 MB
05_11.5_Maze_Routing-_Non-Uniform_Grid_Costs_14-57.srt	22.8 KB
05_11.5_Maze_Routing-_Non-Uniform_Grid_Costs_14-57.txt	15.0 KB
06_11.6_Implementation_Mechanics-_How_Expansion_Works_23-31.mp4	28.7 MB
06_11.6_Implementation_Mechanics-_How_Expansion_Works_23-31.srt	38.5 KB
06_11.6_Implementation_Mechanics-_How_Expansion_Works_23-31.txt	25.0 KB
07_11.7_Implementation_Mechanics-_Data_Structures__Constraints__18-02.mp4	27.7 MB
07_11.7_Implementation_Mechanics-_Data_Structures__Constraints__18-02.srt	27.4 KB
07_11.7_Implementation_Mechanics-_Data_Structures__Constraints__18-02.txt	17.8 KB
08_11.8_Implementation_Mechanics-_Depth-First_Search_14-06.mp4	24.8 MB
08_11.8_Implementation_Mechanics-_Depth-First_Search_14-06.srt	21.5 KB
08_11.8_Implementation_Mechanics-_Depth-First_Search_14-06.txt	14.1 KB
09_11.9_From_Detailed_Routing_to_Global_Routing_15-48.mp4	27.4 MB
09_11.9_From_Detailed_Routing_to_Global_Routing_15-48.srt	22.7 KB
09_11.9_From_Detailed_Routing_to_Global_Routing_15-48.txt	15.0 KB
/10_Timing_Analysis_Week_8/
01_12.1_Basics_7-13.mp4	15.7 MB
01_12.1_Basics_7-13.srt	11.5 KB
01_12.1_Basics_7-13.txt	7.7 KB
02_12.2_Logic-Level_Timing-_Basic_Assumptions__Models_30-59.mp4	37.5 MB
02_12.2_Logic-Level_Timing-_Basic_Assumptions__Models_30-59.srt	51.2 KB
02_12.2_Logic-Level_Timing-_Basic_Assumptions__Models_30-59.txt	33.7 KB
03_12.3_Logic-Level_Timing-_STA_Delay_Graph_ATs_RATs_and_Slacks_27-30.mp4	31.9 MB
03_12.3_Logic-Level_Timing-_STA_Delay_Graph_ATs_RATs_and_Slacks_27-30.srt	43.4 KB
03_12.3_Logic-Level_Timing-_STA_Delay_Graph_ATs_RATs_and_Slacks_27-30.txt	28.5 KB
04_12.4_Logic-Level_Timing-_A_Detailed_Example_and_the_Role_of_Slack_10-02.mp4	16.6 MB
04_12.4_Logic-Level_Timing-_A_Detailed_Example_and_the_Role_of_Slack_10-02.srt	14.8 KB
04_12.4_Logic-Level_Timing-_A_Detailed_Example_and_the_Role_of_Slack_10-02.txt	9.6 KB
05_12.5_Logic-Level_Timing-_Computing_ATs_RATs_Slacks_and_Worst_Paths_26-55.mp4	34.7 MB
05_12.5_Logic-Level_Timing-_Computing_ATs_RATs_Slacks_and_Worst_Paths_26-55.srt	43.3 KB
05_12.5_Logic-Level_Timing-_Computing_ATs_RATs_Slacks_and_Worst_Paths_26-55.txt	28.4 KB
06_12.6_Interconnect_Timing-_Electrical_Models_of_Wire_Delay_16-05.mp4	24.6 MB
06_12.6_Interconnect_Timing-_Electrical_Models_of_Wire_Delay_16-05.srt	27.3 KB
06_12.6_Interconnect_Timing-_Electrical_Models_of_Wire_Delay_16-05.txt	18.0 KB
07_12.7_Interconnect_Timing-_The_Elmore_Delay_Model_14-19.mp4	18.8 MB
07_12.7_Interconnect_Timing-_The_Elmore_Delay_Model_14-19.srt	21.6 KB
07_12.7_Interconnect_Timing-_The_Elmore_Delay_Model_14-19.txt	14.3 KB
08_12.8_Interconnect_Timing-_Elmore_Delay_Examples_14-56.mp4	26.3 MB
08_12.8_Interconnect_Timing-_Elmore_Delay_Examples_14-56.srt	23.4 KB
08_12.8_Interconnect_Timing-_Elmore_Delay_Examples_14-56.txt	15.5 KB
/11_Tools/
01_KBDD_Tutorial_Video_5-20.mp4	7.3 MB
01_KBDD_Tutorial_Video_5-20.srt	6.3 KB
01_KBDD_Tutorial_Video_5-20.txt	4.2 KB
02_MiniSat_Tutorial_Video_6-11.mp4	10.1 MB
02_MiniSat_Tutorial_Video_6-11.srt	7.9 KB
02_MiniSat_Tutorial_Video_6-11.txt	5.2 KB
03_Espresso_Tutorial_Video_3-06.mp4	5.3 MB
03_Espresso_Tutorial_Video_3-06.srt	4.1 KB
03_Espresso_Tutorial_Video_3-06.txt	2.6 KB
/CourseLogistics/
CourseLogistics.html	55.2 KB
links.txt	2.1 KB
/CourseOrientationMandatoryStartHere/
CourseOrientationMandatoryStartHere.html	46.6 KB
links.txt	2.5 KB
/CourseStaff/
CourseStaff.html	43.2 KB
links.txt	1.9 KB
/Discussionforums/
Discussionforums.html	63.3 KB
links.txt	7.6 KB
/
Final Exam.html	37.6 KB
Problem Sets.html	75.0 KB
assignment_home.html	164.1 KB
course_home.html	54.0 KB
entered_login.html	1.4 MB
ghostdriver.log	3.9 KB
vlsicad-003-about.json	7.1 KB
/Final Exam/0_Final_Exam/
0_Final_Exam.html	370.8 KB
links.txt	1.8 KB
/FinalExam/0_Final_Exam/
0_Final_Exam.html	195.2 KB
links.txt	1.8 KB
/Home/
Google%20Map%20Instructions.pdf	32.3 KB
Home.html	54.0 KB
links.txt	3.3 KB
zip_page.html	54.0 KB
/HowtoPasstheClass/
HowtoPasstheClass.html	45.0 KB
links.txt	1.9 KB
/LectureSlides/
1-vlsicad-intro%20V06-RED.pdf	1.6 MB
1-vlsicad-intro%20V06.pdf	6.4 MB
10-vlsicad-techmap-RED.pdf	2.6 MB
10-vlsicad-techmap.pdf	6.5 MB
11-vlsicad-route-RED.pdf	4.0 MB
11-vlsicad-route.pdf	8.2 MB
12-vlsicad-timing-RED.pdf	4.3 MB
12-vlsicad-timing.pdf	9.6 MB
2-vlsicad-compbool-annotated-RED.pdf	3.4 MB
2-vlsicad-compbool-annotated.pdf	8.0 MB
3-vlsicad-bdd-RED.pdf	2.2 MB
3-vlsicad-bdd.pdf	6.7 MB
4-vlsicad-sat-RED.pdf	1.7 MB
4-vlsicad-sat.pdf	6.4 MB
5-vlsicad-2level-RED.pdf	1.4 MB
5-vlsicad-2level.pdf	5.8 MB
6-vlsicad-multilevel1-RED.pdf	2.0 MB
6-vlsicad-multilevel1.pdf	6.3 MB
7-vlsicad-multilevel2-RED.pdf	1.3 MB
7-vlsicad-multilevel2.pdf	5.7 MB
8-vlsicad-multilevel3-RED.pdf	2.1 MB
8-vlsicad-multilevel3.pdf	6.2 MB
9-vlsicad-placer-RED.pdf	5.9 MB
9-vlsicad-placer.pdf	10.9 MB
LectureSlides.html	46.0 KB
espresso-tutorial.pdf	698.8 KB
kbdd-tutorial.pdf	598.1 KB
links.txt	4.2 KB
minisat-tutorial.pdf	549.4 KB
sis-tutorial.pdf	450.2 KB
zip_page.html	46.0 KB
/Problem Sets/0_Problem_Set_1/
0_Problem_Set_#1.html	255.7 KB
links.txt	1.8 KB
/Problem Sets/1_Problem_Set_2/
1_Problem_Set_#2.html	420.0 KB
links.txt	1.8 KB
/.../2_Auxiliary_Quiz_of_Serious_BDDs/
2_Auxiliary_Quiz_of_Serious_BDDs.html	98.1 KB
links.txt	1.8 KB
/Problem Sets/3_Problem_Set_3/
3_Problem_Set_#3.html	303.1 KB
links.txt	1.8 KB
/Problem Sets/4_Problem_Set_4/
4_Problem_Set_#4.html	230.0 KB
links.txt	1.8 KB
/Problem Sets/5_Problem_Set_5/
5_Problem_Set_#5.html	103.5 KB
links.txt	1.8 KB
/Problem Sets/6_Problem_Set_6/
6_Problem_Set_#6.html	69.9 KB
links.txt	1.8 KB
/Problem Sets/7_Problem_Set_7/
7_Problem_Set_#7.html	61.2 KB
links.txt	1.8 KB
/Problem Sets/8_Problem_Set_8/
8_Problem_Set_#8.html	76.0 KB
links.txt	1.8 KB
/ProblemSets/0_Problem_Set_1/
0_Problem_Set_1.html	151.7 KB
links.txt	1.8 KB
/ProblemSets/1_Problem_Set_2/
1_Problem_Set_2.html	111.8 KB
links.txt	1.8 KB
/.../2_Auxiliary_Quiz_of_Serious_BDDs/
2_Auxiliary_Quiz_of_Serious_BDDs.html	95.0 KB
links.txt	1.8 KB
/ProblemSets/3_Problem_Set_3/
3_Problem_Set_3.html	299.2 KB
links.txt	1.8 KB
/ProblemSets/4_Problem_Set_4/
4_Problem_Set_4.html	223.6 KB
links.txt	1.8 KB
/ProblemSets/5_Problem_Set_5/
5_Problem_Set_5.html	99.7 KB
links.txt	1.8 KB
/ProblemSets/6_Problem_Set_6/
6_Problem_Set_6.html	69.0 KB
links.txt	1.8 KB
/ProblemSets/7_Problem_Set_7/
7_Problem_Set_7.html	61.3 KB
links.txt	1.8 KB
/ProblemSets/8_Problem_Set_8/
8_Problem_Set_8.html	76.2 KB
links.txt	1.8 KB
/ProgrammingAssignments/
ProgrammingAssignments.html	164.1 KB
links.txt	7.9 KB
/QuickQuestions15/
QuickQuestions15.html	59.6 KB
links.txt	1.7 KB
/SocialMedia/
SocialMedia.html	45.3 KB
links.txt	2.5 KB
/Syllabus/
Syllabus.html	50.6 KB
links.txt	1.9 KB
/WebbasedTools/
WebbasedTools.html	43.1 KB
links.txt	2.2 KB
/assignments/Espresso/
links.txt	1.8 KB
/assignments/EspressoHelpCenter/
links.txt	1.8 KB
/assignments/KBDD/
links.txt	1.8 KB
/assignments/KBDDHelpCenter/
links.txt	1.8 KB
/assignments/MiniSat/
links.txt	1.8 KB
/assignments/MiniSatHelpCenter/
links.txt	1.8 KB
/.../Placer (Advanced - 8x8 QP)/
links.txt	2.0 KB
/.../Placer (Basic – 3QP)/
ProgrammingAssignment3.pdf	1.1 MB
ProgrammingAssignment3Files.zip	265.9 KB
links.txt	2.0 KB
zip_page.html	44.0 KB
/assignments/PlacerAdvanced8x8QPHelpCenter/
links.txt	2.0 KB
/assignments/PlacerBasic3QPHelpCenter/
ProgrammingAssignment3.pdf	1.1 MB
ProgrammingAssignment3Files.zip	265.9 KB
links.txt	2.0 KB
zip_page.html	44.1 KB
/assignments/Router (Advanced)/
links.txt	2.0 KB
/assignments/Router (Basic)/
ProgrammingAssignment4.pdf	410.5 KB
ProgrammingAssignment4Files.zip	38.5 KB
links.txt	2.0 KB
zip_page.html	45.9 KB
/assignments/RouterAdvancedHelpCenter/
links.txt	2.0 KB
/assignments/RouterBasicHelpCenter/
ProgrammingAssignment4.pdf	410.5 KB
ProgrammingAssignment4Files.zip	38.5 KB
links.txt	2.0 KB
zip_page.html	46.0 KB
/assignments/SIS/
links.txt	1.8 KB
/assignments/SISHelpCenter/
links.txt	1.8 KB
/assignments/Serious BDDs/
ProgrammingAssignment2.pdf	766.2 KB
ProgrammingAssignment2Files.zip	1.4 KB
links.txt	2.1 KB
zip_page.html	44.9 KB
/assignments/SeriousBDDsHelpCenter/
ProgrammingAssignment2.pdf	766.2 KB
ProgrammingAssignment2Files.zip	1.4 KB
links.txt	2.1 KB
zip_page.html	45.0 KB
/.../Unate Recursive Complement/
ProgrammingAssignment1.pdf	222.5 KB
ProgrammingAssignment1Files.zip	6.4 KB
links.txt	2.0 KB
zip_page.html	46.8 KB
/assignments/UnateRecursiveComplementHelpCenter/
ProgrammingAssignment1.pdf	222.5 KB
ProgrammingAssignment1Files.zip	6.4 KB
links.txt	2.0 KB
zip_page.html	46.9 KB
Total files 342