How an ”incoherent behavior” inside generic hardware component characterizes functional errors
Bruno Monsuez, Micaela Mayero · 2015
Abstract: Detecting functional errors on generic hardware components is often a complex task. This task becomes more complex in a componentwise approach when analyzing components without their embedded context that is the entire system description. In this paper, we propose a methodology that successfully detects just from the component’s description a pure functional error that neither extensive tests nor formal methods could find. Key–Words: static analysis, hardware functional error, logical formulae, formal inference 1