FPGA-проектування FPGA design FPGA designing array structure bitwise pipeline checkability of circuits computing devices digital component hidden fault inequality-based control logical form mantissa multiplication operational testing power dissipation power dissipation monitoring reliability of result verification safety-related system shifting register вычислительные устройства достоверность контроля результатов контролепридатність схем контроль по неравенствам коротке замикання логічна форма матрична структура моніторинг розсіюваної потужності оперативное тестирование порозрядний конвеєр прихована несправність регістр зсуву