هل من الممكن كتابة إجراءات التحقق على المحاكاة في Modelsim؟

Question

أنا أستخدم modelsim من أجل تصميم ومحاكاة بنية وحدة المعالجة المركزية المعالجة المركزية.لأولئك مثلي من يعرفون ذلك، كما أنه من المحتمل أن تدرك أنه من الصعب حقا التحقق من بيانات المحاكاة عند محاولة التعامل مع كل هذه الإشارات أمامك.

هل هناك طريقة لتشغيل عمليات محاكاة تلقائيا وأداء بعض إجراءات التحقق لمعرفة ما إذا كانت البيانات التي أحصل عليها صحيحة؟

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

thankyou

Answer 1

نعم، هذا يعرف باسم فحص المستندات الذاتية للتحقق من الذات .تتمثل هذه الفكرة في كتابة ملف VHDL جديد حيث تقوم بإرساء المكون الذي تريد اختباره، وتطبيق المنبهات على المكون وتحقق من الإخراج باستخدام تأكيدات .الطريقة الأساسية للقيام بذلك هي مع بيان ، مثل هذا: giveacodicetagpre.

حاول أيضا أن تبحث في PSL، وهي لغة أخرى للتحقق من سلوك رمز VHDL.Modelsim لديه دعم لكل من تأكيدات VHDL و PSL.