Podstawy VLSI CAD: synteza logiczna i optymalizacja

Nowoczesne układy scalone zawierają miliardy komponentów, co uniemożliwia ręczne projektowanie bez zaawansowanego oprogramowania.Ten kurs zapewnia solidne podstawy w narzędziach CAD na poziomie logicznym, które przekształcają abstrakcyjne opisy funkcjonalne w zoptymalizowany sprzęt. Dowiesz się, jak poruszać się po ogromnej złożoności projektowania układów scalonych, rozumiejąc algorytmy oprogramowania, które automatyzują proces. Poprzez pisemne wyjaśnienia i awarie techniczne rozwiniesz umiejętności analizowania i wdrażania podstawowych funkcji logicznych stosowanych obecnie w przemyśle półprzewodnikowym. Czego się nauczysz: - Zrozum podstawowe zasady algebry Boole'a i reprezentacji logicznej - Zastosuj algorytmy syntezy, aby przekonwertować opisy wysokiego poziomu na listy sieci na poziomie bramy - Ćwicz techniki optymalizacji, aby zmniejszyć obszar, zużycie energii i opóźnienie - Master logiczne metody symulacji do weryfikacji poprawności projektu - Poznaj nowoczesne koncepcje weryfikacji formalnej i rolę solwerów SAT w projektowaniu sprzętu - Dowiedz się, jak ograniczenia umieszczania i routingu wpływają na decyzje na poziomie logicznym Materiał rozpoczyna się od podstawowej terminologii i podstawowych struktur danych Boolean, a następnie przechodzi do złożonych algorytmów syntezy i strategii weryfikacji.To uporządkowane podejście zapewnia głębokie zrozumienie sposobu, w jaki narzędzia CAD obsługują ogromną skalę. Ten kurs jest przeznaczony dla początkujących w dziedzinie inżynierii elektrycznej lub informatyki, którzy chcą zrozumieć stronę programową projektowania sprzętu.Nie jest wymagane wcześniejsze doświadczenie w tworzeniu narzędzi CAD. Zacznij budować swoją wiedzę na temat oprogramowania, które napędza przemysł półprzewodnikowy.