Half-Hot State Assignments for Finite State Machines
IEEE Transactions on Computers
Finite state machine synthesis with fault tolerant test function
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
| Hi-index | 0.00 |
Stuck-at and crosspoint faults in PLA's, introduce combinational and sequential redundancies into PLA-based FSM's, this affecting the testability of these FSM's. In this paper, we propose a new state assignment algorithm for PLA-based FSM's called EARTH, which considers both aspects of area minimization and testability of the resultant PLA's with the fault model containing single stuck-at and/or single cross-point faults. We have also developed an algorithm that checks for redundancies in a PLA-based FSM. We have found the redundancies in FSM's that have been state encoded using EARTH with our redundancy detector and areas of these MCNC Benchmark FSM's. EARTH has yielded 5 times less undetectable faults on these FSMs than NOVA (approx) with areas 2% more than NOVA (approx), on an average.