الفاحص FORMULA® 2K هو نظام شامل للتحكم والقياس الآلي للتحكم الوظيفي والعاملي في الشرائح لدرجة التكامل المنخفض والمتوسط​​، بالإضافة إلى شرائح الذاكرة.تم تصميم الفاحص لإجراء قياسات في عملية القبول والاختبارات الدورية والشهادات وغيرها من أنواع الاختبارات للشرائح المتكاملة بالإضافة إلى التحكم في الإدخال.يقوم الفاحص بجميع مهام القياس للتحكم في الغالبية العظمى بالشرائح المتكاملة الصغيرة والمتوسطة، والتي لا تزال تستخدم على نطاق واسع في مجمع الصناعات الدفاعية. هي شرائح لها تردد يصل إلى 20 ميغاهيرتز ومستويات الإشارة وطاقة إمداد تصل إلى ± 20 فولت وعدد مخرجات الإشارة حتى 256 منها:- الدوائر المتكاملة الرقمية بما في ذلك منطق الأجهزة ووحدات التحكم الدقيقة و BIS على BMK, PLIS, OZU - دوائر إشارة مختلطة - محول تماثلي – رقمي ومحول رقمي - تناظري- الدارات الرقمية التماثلية - مضخمات تشغيلية، حواسب ، مفاتيح ، موازنات، BIS تماثلية على BMK.