مُحقق LFSR

يوفر مُحقق LFSR تحققاً دقيقاً من تكوينات سجل التأثير اللاحق الخطي المستخدم في التشفير الخفيف، توليد أعداد عشوائية زائفة وتصميم الأجهزة. يقبل العرض الذي يحدده المستخدم، taps (معادلة بولينومية)، الحالة البدائية والهيكلية (Fibonacci أو Galois) لاستدلال تطور الحالة وخصائص التسلسُّل. يصوغ مفهومياً تحديث الحالة كدالة انتقال حتمية. يحسب بتات الحالة التالية، ويتتبّع المخرجات، ويمكّن من عدّ التسلسُل كاملاً حتى التكرار أو حتى حد محدد. يذكر طول الدورة، وما إذا كانت التهيئة تصل إلى الحد الأقصى للطول لبُعد المعطى، والت taps الفعّالة التي تؤثر في كل بت. كما يكشف عن مدخلات غير صالحة منذ البداية (بذرة صفَرية).
وتشمل الميزات الأساسية دعم أشكال LFSR الشائعة، والتحقق من خصائص الحد الأقصى للدوران، وشروط نهاية قابلة للتكوين. وهو مفيد للتحقق من معلمات PRNG، وتدقيق مولّدات مرتبطة بالتشفير أو لاستكشاف تعليمي لكيفية تأثير موضع taps على الفترة وتوزيع البتات. النتائج مصممة لتكون قابلة للاستخدام في واجهات برمجة التطبيقات وتمكين التكامل في خطوط التحقق أو التحليلات خارج الإنترنت.