לאחר שנעזרתי רבות באתר החלטתי לתרום את חלקי: שאלה טכנית: יש לך מערכת עם שתי כניסות ברוחב 10 ביט כל אחת ומוצא אחד של 10 ביט. המוצא אמור להראות את הערך הגדול מבין שת הכניסות. איך אתה עושה לזה ווריפיקציה. פתרון: מעבר לתיאור של סביבת ווריפיקציה, מה שחשוב לשים לב, שיש קרוס גדול מאוד בין ערכי הכניסות (2 בחזקת 20 אפשרויות שונות). ולכן, כנראה שגם לאחר הרצת טסטים רבים כל הצירופים האפשריים של הכניסות לא יכוסו.