کتاب برنامه‌نویسی و تأیید سیستم با SystemVerilog برای سیستم‌های تعبیه شده با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره برنامه‌نویسی و تأیید سیستم با SystemVerilog برای سیستم‌های تعبیه شده

موضوع کلی: طراحی و تأیید سیستم‌های دیجیتال

موضوع میانی: زبان‌های توصیف سخت‌افزار و روش‌های تأیید

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر طراحی دیجیتال و زبان‌های توصیف سخت‌افزار
• 2. SystemVerilog: مبانی و ساختار زبان
• 3. انواع داده‌ها و عملگرها در SystemVerilog
• 4. ماژول‌ها و پورت‌ها در SystemVerilog
• 5. مدلسازی رفتاری در SystemVerilog
• 6. مدلسازی ساختاری در SystemVerilog
• 7. مدلسازی سطح انتقال ثبات (RTL) در SystemVerilog
• 8. توصیف ترکیبی در SystemVerilog
• 9. توصیف ترتیبی در SystemVerilog
• 10. آزمایش و تأیید طراحی‌های دیجیتال
• 11. مبانی تست‌بنش (Testbench) در SystemVerilog
• 12. تولید محرک (Stimulus Generation) در SystemVerilog
• 13. بررسی (Assertion) در SystemVerilog
• 14. پوشش کد (Code Coverage) در SystemVerilog
• 15. پوشش عملکردی (Functional Coverage) در SystemVerilog
• 16. تست تصادفی (Random Verification) در SystemVerilog
• 17. تکنیک‌های تأیید رسمی (Formal Verification)
• 18. مدلسازی و تأیید سیستم‌های تعبیه شده
• 19. تأیید واسط‌های ارتباطی (Communication Interfaces)
• 20. تأیید پردازنده‌ها و حافظه
• 21. تأیید سیستم‌عامل‌های بی‌درنگ (RTOS)
• 22. استفاده از SystemVerilog در تأیید پروتکل‌ها
• 23. تأیید پروتکل‌های ارتباطی سریال
• 24. تأیید پروتکل‌های ارتباطی موازی
• 25. تأیید پروتکل‌های شبکه
• 26. تأیید سیستم‌های کنترل
• 27. تأیید سیستم‌های حافظه
• 28. تأیید سیستم‌های پردازشی سیگنال دیجیتال (DSP)
• 29. تأیید سیستم‌های چندپردازشی (Multiprocessor Systems)
• 30. تأیید سیستم‌های ایمنی بحرانی
• 31. تأیید سیستم‌های با قابلیت اطمینان بالا
• 32. تأیید سیستم‌های با توان پایین
• 33. تأیید سیستم‌های کوچک (SoC)
• 34. استفاده از SystemVerilog در طراحی و تأیید FPGA
• 35. تأیید طراحی‌های ASIC با SystemVerilog
• 36. مقدمه‌ای بر UVM (Universal Verification Methodology)
• 37. اجزای UVM: Agent، Sequencer، Driver، Monitor
• 38. تولید توالی (Sequence Generation) در UVM
• 39. تأیید با استفاده از UVM
• 40. مدیریت پیکربندی (Configuration Management) در UVM
• 41. مدیریت پوشش (Coverage Management) در UVM
• 42. تأیید همزمان (Concurrent Verification) با UVM
• 43. تأیید مبتنی بر محدودیت (Constraint-Based Verification)
• 44. تأیید عملکردی (Functional Verification) با SystemVerilog
• 45. تأیید زمان‌بندی (Timing Verification) با SystemVerilog
• 46. تأیید توان (Power Verification) با SystemVerilog
• 47. تأیید سیگنال یکپارچگی (Signal Integrity Verification)
• 48. تأیید طراحی‌های با پیچیدگی بالا
• 49. تأیید سیستم‌های کنترل حرارتی
• 50. تأیید سیستم‌های مدیریت انرژی
• 51. تأیید سیستم‌های ارتباطی بی‌سیم
• 52. تأیید سیستم‌های ناوبری
• 53. تأیید سیستم‌های تصویربرداری
• 54. تأیید سیستم‌های صوتی
• 55. تأیید سیستم‌های امنیتی
• 56. تأیید سیستم‌های پزشکی
• 57. تأیید سیستم‌های صنعتی
• 58. تأیید سیستم‌های خودرویی
• 59. تأیید سیستم‌های هوافضا
• 60. تأیید سیستم‌های دفاعی
• 61. SystemVerilog: نکات پیشرفته و بهینه‌سازی کد
• 62. ابزارهای تأیید و شبیه‌سازی SystemVerilog
• 63. اشکال‌زدایی (Debugging) در SystemVerilog
• 64. بهره‌وری در تأیید با SystemVerilog
• 65. آینده SystemVerilog و تأیید سیستم