آموزش طراحی و خودکارسازی VLSI بخش اول: منطق دیجیتال - آخرین آپدیت

آشنایی و مقدمه Orientation

• خوش‌آمدگویی و مقدمه Welcome and Introduction

جبر بولی محاسباتی 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

• جبر بولی محاسباتی: پیاده‌سازی تاکتولوژی بازگشتی—URP Computational Boolean Algebra: Recursive Tautology—URP Implementation

بازنمایی بولی از طریق BDD و SAT Boolean Representation via BDDs and SAT

• مبانی BDD، بخش اول BDD Basics, Part 1

• مبانی BDD، بخش دوم BDD Basics, Part 2

• اشتراک‌گذاری BDD BDD Sharing

• مرتبه‌سازی BDD BDD Ordering

• ارضای‌پذیری (SAT)، بخش اول Satisfiability (SAT), Part 1

• انتشار محدودیت بولی (BCP) برای SAT Boolean Constraint Propagation (BCP) for SAT

• استفاده از SAT برای منطق Using SAT for Logic

سنتز منطق دو سطحی و سنتز منطق چندسطحی از طریق مدل جبری 2-Level Logic Synthesis, and Multi-Level Logic Synthesis via the Algebraic Model

• منطق دو سطحی: مبانی 2-Level Logic: Basics

• منطق دو سطحی: حلقه بهینه‌سازی کاهش-گسترش-غیرمازاد 2-Level Logic: The Reduce-Expand-Irredundant Optimization Loop

• منطق دو سطحی: جزئیات یک مرحله: گسترش (Expand) 2-Level Logic: Details for One Step: Expand

• منطق چندسطحی و مدل شبکه بولی Multilevel Logic and the Boolean Network Model

• منطق چندسطحی: مدل جبری برای فاکتورگیری Multilevel Logic: Algebraic Model for Factoring

• منطق چندسطحی: تقسیم جبری Multilevel Logic: Algebraic Division

• منطق چندسطحی: نقش Kernel و Co-Kernel در فاکتورگیری Multilevel Logic: Role of Kernels and Co-Kernels in Factoring

• منطق چندسطحی: یافتن Kernelها Multilevel Logic: Finding the Kernels

استخراج فاکتور چندسطحی و Don't Cares Multilevel Factor Extract and Don't Cares

• منطق چندسطحی و استخراج مقسوم‌علیه—مورد تک مکعب 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

• منطق چندسطحی—Don't Cares ضمنی، بخش دوم Multilevel Logic—Implicit Don't Cares, Part 2

• منطق چندسطحی—Don't Cares مربوط به ارضای‌پذیری Multilevel Logic—Satisfiability Don't Cares

• منطق چندسطحی—Don't Cares مربوط به کنترل‌پذیری Multilevel Logic—Controllability Don't Cares

• منطق چندسطحی—Don't Cares مربوط به مشاهده‌پذیری Multilevel Logic—Observability Don't Cares

امتحان نهایی Final Exam