Optimized synthesis of concurrently checked controllers
- 1 April 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 39 (4) , 419-425
- https://doi.org/10.1109/12.54835
Abstract
A method for introducing online test facilities in a controller with a very low overhead is presented. This online test consists of detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join mode of the control flow graph. The signatures are then independent of the path followed previously in the graph, and the comparison to reference data is greatly facilitated. This property is obtained by a state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checkerKeywords
This publication has 5 references indexed in Scilit:
- Aliasing in signature analysis testing with multiple-input shift-registersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Aliasing errors in multiple input signature analysis registersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- State assignment using a new embedding method based on an intersecting cube theoryPublished by Association for Computing Machinery (ACM) ,1989
- Optimal state chains and state codes in finite state machinesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- Concurrent Fault Detection in Microprogrammed Control UnitsIEEE Transactions on Computers, 1985