نموذج وظيفي للحافلة

نموذج وظائف ناقل البيانات ( BFM)، المعروف أيضًا بنموذج التحقق من المعاملات (TVM)، هو نموذج برمجي غير قابل للتوليف لمكون دائرة متكاملة يحتوي على ناقل بيانات خارجي واحد أو أكثر. يركز هذا النموذج على محاكاة معاملات ناقل النظام قبل بناء واختبار المكونات المادية الفعلية. تُعرَّف نماذج وظائف ناقل البيانات عادةً على أنها مهام في لغات وصف الأجهزة (HDLs)، والتي تُطبِّق محفزات على التصميم قيد التحقق عبر أشكال موجية وبروتوكولات معقدة. يُنفَّذ نموذج وظائف ناقل البيانات عادةً باستخدام لغات وصف الأجهزة مثل Verilog و VHDL و SystemC و SystemVerilog .

عادةً، توفر وحدات إدارة ناقل البيانات (BFMs) واجهة ثنائية الجوانب: يقوم أحد جانبي الواجهة بتشغيل وأخذ عينات من الإشارات منخفضة المستوى وفقًا لبروتوكول الناقل. أما الجانب الآخر، فيوفر مهامًا لإنشاء معاملات الناقل والاستجابة لها. تُستخدم وحدات إدارة ناقل البيانات غالبًا كعناصر بناء قابلة لإعادة الاستخدام لإنشاء منصات اختبار محاكاة، حيث يتم توصيل منافذ واجهة الناقل للتصميم قيد الاختبار بوحدات إدارة ناقل البيانات المناسبة.

من التطبيقات الشائعة الأخرى لنماذج BFM توفير نماذج بديلة لمكونات الملكية الفكرية : فبدلاً من قائمة الشبكة أو تصميم RTL لمكون الملكية الفكرية، قد يُقدّم مورد الملكية الفكرية الخارجي نموذج BFM مناسبًا لأغراض التحقق. ويمكن لمُصنِّع الملكية الفكرية تزويد المصنع مباشرةً بمكون الملكية الفكرية الفعلي على شكل قائمة شبكة على مستوى البوابات .

في الماضي، كانت نماذج BFM تُعامل على أنها كيان غير قابل للتركيب، ولكن في الآونة الأخيرة أصبحت نماذج BFM متاحة كنماذج قابلة للتركيب أيضًا.

يُشار أحيانًا إلى نماذج التحقق من المعاملات (BFMs) باسم نماذج التحقق من المعاملات (TVMs). وذلك للتأكيد على أن عمليات ناقل البيانات في النموذج قد جُمعت في معاملات ناقل بيانات ذرية لتسهيل إصدار معاملات ناقل البيانات وعرضها. وتُشابه الرسوم البيانية لمعاملات ناقل البيانات التي تُمثلها نماذج التحقق من المعاملات (TVMs) مخرجات محلل البروتوكولات أو أداة تحليل ناقل البيانات .

• ميتشل، دونا (2001). "تقنيات برمجة منصة اختبار VHDL/Verilog اليدوية والآلية" (ملف PDF) . مجلة الأنظمة المتخصصة . 9 (2). مؤرشف من الأصل (ملف PDF) بتاريخ 22 يناير 2004. تم الاطلاع عليه بتاريخ 8 أبريل 2013 .