Dependable design technique for system-on-chip
Journal of Systems Architecture: the EUROMICRO Journal
Microprocessors & Microsystems
Novel PUF-Based Error Detection Methods in Finite State Machines
Information Security and Cryptology --- ICISC 2008
Non-linear Error Detection for Finite State Machines
Information Security Applications
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II
Hi-index | 0.00 |
We propose a low-overhead concurrent error detectionscheme for a sequential circuit implemented using anFPGA with embedded memory blocks (EMBs). Thepresented scheme is proven to detect each permanent ortransient fault associated with a single input or output ofany component of the circuit that leads to an incorrect statetransition. Such faults are detected with no latency. Ourtechnique requires significantly less extra logic than theearlier proposed schemes for concurrent error detection insequential circuits. For a large percentage of the examinedbenchmark circuits, no extra EMBs and just 3 extra LUTsare needed; for other circuits, the number of extra EMBs isquite limited - on average, an overhead in terms of thenumber of EMBs is 13.6%.