El comprobador FORMULA® 2K es un sistema universal automatizado de control y medición para el control funcional y paramétrico de microcircuitos de integración media y baja, así como microcircuitos de memoria.El comprobador está diseñado para realizar mediciones en el proceso de aceptación, pruebas periódicas, certificación y otros tipos de pruebas de CI, así como para la inspección de entrada.El comprobador utilizado para todas las tareas de medición con el fin de controlar la gran mayoría de los circuitos integrados pequeños y medianos, que todavía se utilizan ampliamente en el OPK. Estos son chips con una frecuencia de hasta 20 MHz, niveles de señal y voltaje de alimentación hasta ± 20 V, número de salidas de señal hasta 256, entre los cuales se presentan: - circuitos integrados digitales, incluida la lógica de hardware, microcontroladores, VLSI en ULA, PLD y RAM,- circuitos de señal mixtos - convertidor D / A y A/D,- Circuitos integrados analógicos - amplificadores operacionales, comparadores, llaves, estabilizadores, VLSI analógicos en ULA.