Presentation on theme: "Petros OikonomakosMark Zwolinski Foundation of Combined Datapath and Controller Self-checking Design Electronics and Computer Science University of Southampton,"— Presentation transcript:
Petros OikonomakosMark Zwolinski Foundation of Combined Datapath and Controller Self-checking Design Electronics and Computer Science University of Southampton, UK Electronic Systems Design Group 9 th International On-Line Testing Symposium Kos Island, Greece, 7-9 July 2003
Introduction Starting point : controller / datapath system, self- checking datapath [Oikonomakos et al, DATE 2003] Goal : controller self-checking, integration with previous work Requirements : technology independence, ease of automation (time to market), area efficiency, adherence to self-checking theory Complete, automatically produced, controller / datapath self-checking solution!!!
Target Architecture Controller / datapath architecture Possibly several communicating FSMs Previous work : self-checking at point A Self-checking at point B is essential!!!
per process parity checking : ~(N S +5×n) gates single checker : ~N S gates N S : total number of states n : number of processes the higher the degree of parallelism, the more the hardware savings!!! Hardware Costs
Recent considerations – ongoing work adherence to self-checking theory : the self-testing property implementing embedded parity checkers with error memorizing capability [Tarnick, VLSI Design 1998] within our system the 1-out-of-n checker of [Khakbaz, TCOMP 1982] combining 1-out-of-n checking with Intrinsically Secure States for hardware savings
Conclusion self-checking at the raw, one-hot control signals alternative controller self-checking schemes datapath self-checking resource reuse (Intrinsically Secure States) implementation within a synthesis system, providing full datapath and controller self-checking solutions ongoing experimentation