Automated design of reliable checkers for control units using unidirectional error detecting codes

This paper presents a CAD tool which incorporates several approaches to the design of reliable checkers for control units (devices which control the operation of other devices). Part of the approaches are traditional, part original. The main contribution of this paper is the automation of the design of checkers for lookup-table (LUT) based FPGA architecture, with aspiration to minimum hardware.