مساعدة على رموز جيم behvioral

[Guest]

مرحبا ، هل يستطيع أحد أن لصق بعض الروابط ، أو مشاركة لي مع بعض السلوكية جيم / سي (أفضل تشمل ملفات. ح) رموز ، أو لمجرد بعض بسيطة ولكن معيار الأشكال.آمل فقط ان تعرف بعض القواعد الأساسية في النموذج جيم ، مثل تعريف للسجلات والأسلاك.
شكرا جزيلا

 

[Guest]

[No message]

 

[jarodz]

كما أعرف ، ومعظم الناس يقولون انهم الكتابة هو مجرد نموذج التدقيق لمطابقة الإدخال / الإخراج العلاقة.في عبارة أخرى ، وهذا هو من أجل التحقق alogorithm الحوسبة ، وذلك لأن العملية arithematic من السهل جدا في lanuage على مستوى عال مثل ج.ولذلك ، ليس هناك سيادة لكتابة النموذج.

ويمكن هذا النوع من النموذج لا يمكن تشغيل في المشاركة في محاكاة.إذا كنت تريد تشغيل نموذج المحاكاة مع ذلك ، هناك بعض السبل لتحقيق ذلك.في فيريلوج ، كابلان / المبادرة المتعلقة بمنع العنف هي واجهة لج / ج للوصول إلى محاكاة كائن (ريج ، والأسلاك ،....).وأفضل طريقة هي استخدام SystemC.لأنه أمر طبيعي الدعم من قبل جهاز محاكاة جديد الآن.أنت لست بحاجة إلى أن complie لك ج / ج مع كابلان / المبادرة المتعلقة بمنع العنف المجمع ومن ثم ربط ليب لمحاكاة.

تمنيات ،
Jarod

 

[spauls]

مرحبا ،
يمكنني مساعدتك في كتابة رموز جيم ،
يرجى البريد لي الاحتياجات الخاصة بك.

 

[nand_gates]

هنا هو النموذج السلوكي في 8051 جيم

http://www.project-veripage.com/bfm8051.php

ويساعد هذا الأمل!

 

[Guest]

مرحبا ، شكرا جزيلا ، spauls وnand_gates

 

[sarath51]

التحقق من هذا الموقع
http://www.sutherland-hdl.com/pli_book_examples.html

وقد llot من كابلان بعض الأمثلة والنماذج وكذلك

 

[Guest]

شكرا