البرمجة الموجهة بالجوانب باستخدام لغة E Verification - (سلسلة Morgan Kaufmann في أنظمة السيليكون (غلاف ورقي)) تأليف ديفيد روبنسون

ملخص الكتاب: ما هو مفهوم البرمجة كائنية الجوانب (AOP) حقاً عند التعمق في تفاصيله؟ وهل يمكن لأحد أن يشرح ببساطة ما هو الجانب (aspect) فعلياً؟ يقدم كتاب Aspect-Oriented Programming with the E Verification Language نهجاً عملياً، قائماً على الأمثلة وممتعاً لفك رموز أسرار الـ AOP. ستتعلم في هذا الكتاب كيفية: - استخدام الـ AOP لتنظيم الكود الخاص بك بطريقة تجعل من السهل التعامل مع الأمور التي تهمك حقاً في بيئات التحقق الخاصة بك. انسَ أمر التنظيم القائم على الفئات، وابدأ بالتنظيم بناءً على الوظائف، أو الطبقات، أو المكونات، أو البروتوكولات، أو التغطية الوظيفية، أو التحقق، أو أي شيء آخر تراه مهماً بالنسبة لك - أنشئ بسهولة كوداً برمجياً مرناً يخفف من أعباء التطوير لديك، ويمنح مستخدميك القدرة على تنفيذ ما يحتاجون إليه بسرعة باستخدام الكود الخاص بك - أنشئ بيئة حقيقية بنظام التشغيل والتشغيل المباشر (plug-and-play) تتيح لك إضافة الوظائف وإزالتها دون الحاجة إلى تعديل الكود الخاص بك. تشمل الأمثلة كيفية استخدام AOP لإنشاء وحدات تصحيح أخطاء قابلة للتوصيل، ووحدة قابلة للتوصيل تتيح لك التحقق من أن منصة الاختبار الخاصة بك لا تزال تعمل قبل البدء في اختبار الانحدار - استفد من AOP لتجنب عوائق الإنتاجية التي يبدو أنها تؤرق جميع المشاريع في أكثر الأوقات غير الملائمة - اكتشف لماذا تُعد عبارة "return" أمراً سيئاً، وبعض "المصائد" الأخرى المتعلقة بميزات AOP في لغة e. لقد تم تطوير واختبار جميع المنهجيات والنصائح والتقنيات الموضحة في هذا الكتاب على مشاريع حقيقية، مع أشخاص حقيقيين، وجداول زمنية حقيقية، ومع كل المشكلات المرتبطة بها. لقد نجحت فقط الأساليب التي أثبتت كفاءتها، بل وأثبتت جدارتها، في الوصول إلى هذا المستوى، لذا فمن خلال اتباع النصائح الواردة في هذا الكتاب، ستتمكن من الوصول إلى القوة الحقيقية لـ AOP مع تجنب عناء استنتاج كل شيء بنفسك. وتعد عملية التحقق من اقتباسات المراجعة موضوعاً رائجاً للغاية هذه الأيام، حيث تستهلك الجزء الأكبر من جميع مشاريع التصميم (60% إلى 70%). كما أنها تعد واحدة من القطاعات سريعة النمو في صناعة EDA. يهتم الكثير من العملاء بفهم المزيد حول فوائد البرمجة الموجهة بالجانب (AOP)، ولكن لا تتوفر الكثير من المصادر لتعلم مزايا استخدام AOP مع لغة e... لقد أحببت هذا الكتاب حقاً، فهو يقدم نصائح عملية للغاية ويعد أحد أفضل الكتب التي كُتبت حول لغة e verification. مايك ستيلفوكس، كبير اختصاصيي منهجية التحقق الميدانية في Cadence Design Systems