Mga Pundasyon ng VLSI CAD: Logic Synthesis at Optimization

Ang mga modernong integrated circuits ay naglalaman ng bilyun-bilyong bahagi, kaya't imposible ang manu-manong disenyo kung walang sopistikadong software. Ang kursong ito ay nagbibigay ng matibay na pundasyon sa mga logic-level CAD tool na nagbabago ng mga abstract na functional description tungo sa optimized na hardware. Matututunan mo kung paano i-navigate ang napakalaking kumplikasyon ng chip design sa pamamagitan ng pag-unawa sa mga software algorithm na nag-a-automate ng proseso. Sa pamamagitan ng mga nakasulat na paliwanag at teknikal na breakdown, bubuuin mo ang mga kasanayan upang suriin at ipatupad ang mga pangunahing logic function na ginagamit sa industriya ng semiconductor ngayon. Ano ang matututunan mo: - Unawain ang mga pangunahing prinsipyo ng Boolean algebra at logic representation - Gamitin ang mga synthesis algorithm upang i-convert ang mga high-level description tungo sa gate-level netlists - Magsanay sa mga optimization technique upang bawasan ang area, power consumption, at delay - Pag-aralan ang mga logic simulation method para sa pag-verify ng kawastuhan ng disenyo - Tuklasin ang mga modernong konsepto ng formal verification at ang papel ng SAT solvers sa hardware design - Alamin kung paano naiimpluwensyahan ng placement at routing constraints ang mga desisyon sa logic-level Ang materyal ay nagsisimula sa mga mahahalagang terminolohiya at pangunahing Boolean data structures bago lumipat sa mga kumplikadong synthesis algorithm at verification strategies. Tinitiyak ng nakabalangkas na diskarte na bumuo ka ng malalim na pag-unawa kung paano hinahawakan ng mga CAD tool ang malaking sukat. Ang kursong ito ay idinisenyo para sa mga baguhan sa electrical engineering o computer science na nais maunawaan ang software side ng hardware design. Hindi kinakailangan ang anumang naunang karanasan sa pagbuo ng CAD tool. Simulan ang pagbuo ng iyong pag-unawa sa software na nagpapagana sa industriya ng semiconductor.