אימות שורת הפקודה

תתי סעיפים:
החלפת ספריות
אפשרויות אימות אחרות
בדיקת קבצים מרובים
בדיקת וקטורים

Logisim כוללת תמיכה בסיסית לביצוע מעגלים משורת הפקודה. זה נועד גם לעזור אימות תסריטאי של עיצובי מעגלים וכדי לעזור למדריכים לבצע בדיקות אוטומטיות של התלמידים פתרונות.

נתחיל בלראות כיצד לבצע מעגל משורת הפקודה. לדוגמה שלנו, נניח שבנינו המעגל שלמטה בקובץ בשם adder-test.circ. הוא משתמש במוסיף שני סיביות כתת-מעגל וחוזר על עצמו באמצעות מונה דרך כל 16 הכניסות האפשריות אליו.

לאחר בניית המעגל הזה, אנו מבצעים את Logisim משורת הפקודה, ומספקים את שם הקובץ של הפרויקט והאפשרות -tty עם הפרמטר <table.

java -jar logisim-filename.jar adder-test.circ -tty table

מבלי להעלות שום חלונות, לוגיסים טוענת את המעגל ומתחילה להפעיל אותו, ומתקתקת כל שעונים באותה מהירות כפי שהוא יכול תוך השלמת ההתפשטות בין כל קרציה. לאחר השלמת כל ריבוי, Logisim נטען הערכים הנוכחיים של פיני הפלט; אם יש שינויים מההפצה הקודמת, אז כל הערכים הם מוצג בפורמט מופרד בטאבים. אם יש סיכת פלט המסומנת במילה המיוחדת halt (case רגיש), הפלט שלו לא מוצג - אבל ברגע שערך הסיכה מגיע ל-1 לאחר השלמת ההפצה, לוגיזם מסיים את הסימולציה.

לדוגמא שלנו, Logisim מציגה את הטבלה שלהלן. כי יש לנו שני פיני פלט המתאימים לשניים מכניסות a ו-b לתוך המוסיף שני סיביות, יציאות אלו נכללות כשתי העמודות הראשונות של הפלט. ויש עוד פין פלט sum המתאים לפלט של המוסיף שני סיביות, אז זה הוא העמודה השלישית. העמודות מסודרות משמאל לימין לפי הסדר מלמעלה למטה בתוך מעגל חשמלי.

00      00      000
01      00      001
10      00      010
11      00      011
00      01      001
01      01      010
10      01      011
11      01      100
00      10      010
01      10      011
10      10      100
11      10      101
00      11      011
01      11      100
10      11      101
11      11      110

הבא: החלפת ספריות.