בודק LFSR

בודק LFSR מספק אימות מדויק של הגדרות רישום העברה לינארית המשמש Cryptography, דורות pseudo-random, ועיצוב חומרה. הוא מקבל רוחב שנקבע על-ידי המשתמש, taps (Polynomial), מצב התחלתי וארכיטקטורה (Fibonacci או Galois) כדי לבנות הסבר על התפתחות המצב ותכונות הרצף. המודל מתאר את עדכון המצב כפעולת מעבר דטרמיניסטית. הוא מחושב אתbits מצב הבאים, עוקב אחר יציאות ויכול למנות את כל הרצף עד החזרה או גבול מוגדר. מציין אורך מעגל, האם ההגדרה מגיעה לאורך המקסימלי עבור הרוחב הנתון ואת taps האפקטיביים המשפיעים על כל ביט. כמו כן מאתר קלטים לא תקינים מההתחלה (זרעים אפס).
פונקציות מרכזיות כוללות תמיכה בצורות LFSR נפוצות, אימות תכונות התקופה המקסימלית והגדרות סיום ניתנות להגדרה. שימושי לבדיקה של פרמטרי PRNG, ביקורת generators הקשורים לקריפטוגרפיה או חקירה לימודית על איך מיקום taps משפיע על התקופה והפצת הביטים. תוצאות מיועדות לשימוש תכנותי ואפשר לשלב אותן בצינורות אימות או ניתוחים offline.