К содержимому
learnspaceYOUR NEXT CHAPTER
ПРОСТРАНСТВО ОБУЧЕНИЯ
ГлавнаяКаталог курсовМоё обучениеCoursera

Знания без границ

Учитесь у лучших университетов и компаний мира.

Открыть Coursera
Интеграция
Пространство университета
Моё пространствоСтраница курса
↵
ЯЛичный кабинетСтудент
© 2026 LearnSpaceКаждый день — возможность узнать больше.Помощь
VLSI CAD Part I: Logic · LearnSpace
Назад в каталог
courseraПрограммирование

VLSI CAD Part I: Logic

Курс от University of Illinois Urbana-Champaign
Средний≈ 23.4 чАнглийский
О курсеНавыкиПрограммаПреподаватели

О курсе

A modern VLSI chip has a zillion parts -- logic, control, memory, interconnect, etc. How do we design these complex chips? Answer: CAD software tools. Learn how to build thesA modern VLSI chip is a remarkably complex beast: billions of transistors, millions of logic gates deployed for computation and control, big blocks of memory, embedded blocks of pre-designed functions designed by third parties (called “intellectual property” or IP blocks). How do people manage to design these complicated chips? Answer: a sequence of computer aided design (CAD) tools takes an abstract description of the chip, and refines it step-wise to a final design. This class focuses on the major design tools used in the creation of an Application Specific Integrated Circuit (ASIC) or System on Chip (SoC) design. Our focus in this first part of the course is on key Boolean logic representations that make it possible to synthesize, and to verify, the gate-level logic in these designs. This is the first step of the design chain, as we move from logic to layout. Our goal is for students to understand how the tools themselves work, at the level of their fundamental algorithms and data structures. Topics covered will include: Computational Boolean algebra, logic verification, and logic synthesis (2-level and multi-level). Recommended Background Programming experience (C, C++, Java, Python, etc.) and basic knowledge of data structures and algorithms (especially recursive algorithms). An understanding of basic digital design: Boolean algebra, Kmaps, gates and flip flops, finite state machine design. Linear algebra and calculus at the level of a junior or senior in engineering. Exposure to basic VLSI at an undergraduate level is nice -- but it’s not necessary. We will keep the course self-contained, but students with some VLSI will be able to skip some background material.e tools in this class.

Навыки, которые вы освоите

Computational LogicVerification And ValidationApplication Specific Integrated CircuitsProgramming PrinciplesData StructuresAlgorithmsDesign SoftwareSystems DesignTheoretical Computer ScienceModel OptimizationDigital Design

Программа курса

6 модулей · 56 учебных материалов

01Orientation9 материалов

Welcome and Introduction

Welcome and IntroductionВидеоSyllabusЧтениеDemographics SurveyЗаданиеWelcome! Please tell us about yourself.PLUGIN

Учитесь у экспертов

Rob A. Rutenbar

Adjunct Professor

VLSI CAD Part I: Logic
В каталоге вашей программы

Инвестируйте в себя

Новые знания — в удобное для вас время.

Начать на Coursera

Обучение откроется на Coursera
в новой вкладке

Обучение на Coursera

≈ 23.4 ч

6 модулей

Язык: Английский

Субтитры: Арабский, Французский, Бенгальский, Украинский, Китайский (Китай), Греческий, Итальянский, Бразильский португальский, Вьетнамский, Нидерландский, Корейский, Немецкий, Пушту, Урду, Русский, Тайский, Индонезийский, Шведский, Турецкий, Азербайджанский, Испанский, Дари, Хинди, Японский, Казахский, Венгерский, Польский

Часть программы вашего университета

Tools

Tools For This CourseЧтение
KBDDПрограммирование
MiniSatПрограммирование
EspressoПрограммирование
SISПрограммирование
02Computational Boolean Algebra8 материалов

Week 1 Information

Week 1 OverviewЧтение

Computational Boolean Algebra

Computational Boolean Algebra: BasicsВидеоComputational Boolean Algebra: Boolean DifferenceВидеоComputational Boolean Algebra: Quantification OperatorsВидеоComputational Boolean Algebra: Application to Logic Network RepairВидео

Computational Boolean Algebra: Recursive Tautology

Computational Boolean Algebra: Recursive TautologyВидеоComputational Boolean Algebra: Recursive Tautology—URP ImplementationВидео

Assignments

Week 1 AssignmentsЧтение
03Boolean Representation via BDDs and SAT11 материалов

Week 2 Information

Week 2 OverviewЧтение

BDDs

BDD Basics, Part 1ВидеоBDD Basics, Part 2ВидеоBDD SharingВидеоBDD OrderingВидео

SAT

Satisfiability (SAT), Part 1ВидеоBoolean Constraint Propagation (BCP) for SATВидеоUsing SAT for LogicВидео

Assignments

Week 2 AssignmentsЧтение

Problem Set Submission

Problem Set #1Задание

Programming Assignment Submission

Programming Assignment #1: Unate Recursive ComplementПрограммирование
042-Level Logic Synthesis, and Multi-Level Logic Synthesis via the Algebraic Model11 материалов

Week 3 Information

Week 3 OverviewЧтение

2-Level Logic

2-Level Logic: BasicsВидео2-Level Logic: The Reduce-Expand-Irredundant Optimization LoopВидео2-Level Logic: Details for One Step: ExpandВидео

Multilevel Logic

Multilevel Logic and the Boolean Network ModelВидеоMultilevel Logic: Algebraic Model for FactoringВидеоMultilevel Logic: Algebraic DivisionВидеоMultilevel Logic: Role of Kernels and Co-Kernels in FactoringВидеоMultilevel Logic: Finding the KernelsВидео

Assignments

Week 3 AssignmentsЧтение

Problem Set Submission

Problem Set #2Задание
05Multilevel Factor Extract and Don't Cares13 материалов

Week 4 Information

Week 4 OverviewЧтение

Mulitlevel Logic and Divisor Extraction

Mulitlevel Logic and Divisor Extraction—Single Cube CaseВидеоMulitlevel Logic and Divisor Extraction—Multiple Cube CaseВидеоMultilevel Logic and Divisor Extraction—Finding Prime Rectangles & SummaryВидео

Don't Cares

Multilevel Logic—Implicit Don't Cares, Part 1ВидеоMultilevel Logic—Implicit Don't Cares, Part 2ВидеоMultilevel Logic—Satisfiability Don't CaresВидеоMultilevel Logic—Controllability Don't CaresВидеоMultilevel Logic—Observability Don't CaresВидео

Assignments

Week 4 AssignmentsЧтение

Problem Set Submission

Problem Set #3Задание

Programming Assignment Submission

Programming Assignment #2: Serious BDDsПрограммированиеAuxiliary Quiz of Serious BDDsЗадание
06Final Exam4 материалов

Problem Set Submission

Problem Set #4Задание

Final Exam

Final ExamЗадание

End of Course Survey

End of Course SurveyЗаданиеHow was the course?PLUGIN