مجموعه تمرين‌هاي مبحث BDD

فایل تمرین های کامپیوتری مبحث BDD را میتوانید از اینجا دانلود کنید.
برای انجام این تمرینات به یک BDD Package نیاز داریم که در کلاس ابزار CUDD براي اين كار پيشنهاد شد، این ابزار که تحت سیستم عامل لینوکس نصب می شود را می توانید از اینجا دانلود کنید. همچنين تمرين آخر، تعدادي از Exercise هاي منتخب An Introduction to Binary Decision Diagrams مي‌باشد.
برای نصب این برنامه تحت ویندوز میتوان از Cygwin استفاده کرد.
زمان تحویل تمرینات پنجشنبه 29 فروردین هست...
خبر جدید: بر اساس آخرین صحبتی که با آقای دکتر علیزاده در دانشگاه شریف داشتم، لزومی به استفاده از ابزارهای کامپیوتری برای حل این تمرین نیست و می توان پاسخ ها را به صورت دستی بر روی کاغذ کشید و تحویل داد همچنین از دیگر ابزارهای پیاده سازی BDD علاوه بر CUDD هم می توان برای این کار بهره برد.