VLSI CAD Fundamentals: Logic Synthesis and Optimization

วงจรรวม (integrated circuits) สมัยใหม่มีส่วนประกอบหลายพันล้านชิ้น ทำให้การออกแบบด้วยมือเป็นไปไม่ได้หากไม่มีซอฟต์แวร์ที่ซับซ้อน หลักสูตรนี้จะให้พื้นฐานที่มั่นคงเกี่ยวกับเครื่องมือ CAD ระดับลอจิกที่แปลงคำอธิบายฟังก์ชันเชิงนามธรรมให้เป็นฮาร์ดแวร์ที่ปรับให้เหมาะสม คุณจะได้เรียนรู้วิธีจัดการกับความซับซ้อนอันมหาศาลของการออกแบบชิปโดยการทำความเข้าใจอัลกอริทึมซอฟต์แวร์ที่ทำให้กระบวนการเป็นไปโดยอัตโนมัติ ผ่านคำอธิบายที่เป็นลายลักษณ์อักษรและการวิเคราะห์ทางเทคนิค คุณจะได้พัฒนาทักษะในการวิเคราะห์และนำฟังก์ชันลอจิกหลักที่ใช้ในอุตสาหกรรมเซมิคอนดักเตอร์ในปัจจุบันไปใช้ สิ่งที่คุณจะได้เรียนรู้: - เข้าใจหลักการพื้นฐานของพีชคณิตแบบบูล (Boolean algebra) และการแสดงลอจิก - ใช้ประโยชน์จากอัลกอริทึมการสังเคราะห์ (synthesis algorithms) เพื่อแปลงคำอธิบายระดับสูงให้เป็นเน็ตลิสต์ระดับเกต (gate-level netlists) - ฝึกฝนเทคนิคการปรับให้เหมาะสม (optimization techniques) เพื่อลดพื้นที่การใช้พลังงาน และความล่าช้า - เชี่ยวชาญวิธีการจำลองลอจิก (logic simulation methods) เพื่อตรวจสอบความถูกต้องของการออกแบบ - สำรวจแนวคิดการตรวจสอบอย่างเป็นทางการ (formal verification concepts) สมัยใหม่ และบทบาทของ SAT solvers ในการออกแบบฮาร์ดแวร์ - เรียนรู้วิธีที่ข้อจำกัดในการจัดวางและเส้นทาง (placement and routing constraints) มีอิทธิพลต่อการตัดสินใจในระดับลอจิก เนื้อหาเริ่มต้นด้วยคำศัพท์ที่จำเป็นและโครงสร้างข้อมูลแบบบูลพื้นฐานก่อนที่จะเข้าสู่อัลกอริทึมการสังเคราะห์ที่ซับซ้อนและกลยุทธ์การตรวจสอบ แนวทางที่มีโครงสร้างนี้จะช่วยให้คุณสร้างความเข้าใจอย่างลึกซึ้งเกี่ยวกับวิธีที่เครื่องมือ CAD จัดการกับสเกลขนาดใหญ่ หลักสูตรนี้ออกแบบมาสำหรับผู้เริ่มต้นในสาขาวิศวกรรมไฟฟ้าหรือวิทยาการคอมพิวเตอร์ที่ต้องการทำความเข้าใจด้านซอฟต์แวร์ของการออกแบบฮาร์ดแวร์ ไม่จำเป็นต้องมีประสบการณ์มาก่อนในการพัฒนาเครื่องมือ CAD เริ่มสร้างความเข้าใจของคุณเกี่ยวกับซอฟต์แวร์ที่เป็นพลังขับเคลื่อนอุตสาหกรรมเซมิคอนดักเตอร์