Hazem Muhebbadin Ahmad Naji Abu-Saleh2022-05-182022-05-185035https://drepo.sdl.edu.sa/handle/20.500.14154/1100إن تصميم أنظمة رقمية معقدة باستخدام لغات وصفية لتصميم الحاسب الآلي أصبح موضوعاً دارجاً منذ عشر سنوات مضت . مهمة تحويل نظام رقمي موصوف بإحدى هذه الغات إلى مخطط تفصيلي - ذي عدد مرتفع جداً من الدوائر المتكاملة - على شريحة سليكونية تنقسم إلى مرحلتين ، في المرحلة الأولى : يتم تحويل الوصف إلى وصف منطقي متوسط يعرف باسم القائمة الشبكية والمرحلة الثانية : هي تحويل هذه القائمة الشبكية إلى مخطط تفصيلي - ذي عدد مرتفع جداً من الدوائر المتكاملة - وتعرف هذه المرحلة بالتصميم الفعلي . مرحلة التصميم الفعلي تتكون من عدة مهام منها تحديد الخلايا ، ووضع الخلايا على المخطط التفصيلي ، وتحديد قنوات التوصيل بين هذه لاخلايا (التوصيل العالمي) ، والتوصيل الفعلي فيما بين الخلايا الموضوعة (التوصيل المفصل) ، نقوم في هذا العمل بدراسة الحلول الأوتوماتيكية لمرحلة التصميم الفعلي ، وقد تم اختيار مخططات البرامج الفعالة ، وتعديلها عند الحاجة ، وأخيراً برمجتها لتنفيذ مهام مرحلة التصميم الفعلي . إن العمل المقدم سوف يمكن توليد المخططات التفصيلية - ذات العدد المرتفع جداً من الدوائر المتكاملة - اوتوماتيكياً بدءاً من الوصف المنطقي بأسلوب القائمة الشبكية لنظام رقمي .enThesis