Troubleshooting temporal behavior in ''combinatorial'' circuits
This paper addresses the challenge of reasoning and diagnosing digital circuits which contain either intentional or unintentional cycles in the combinatorial logic. Such cycles can lead to oscillatory behavior or convert what seems at first to be a combinatorial circuit to a sequential one. Such circuits often produce instant contradictions when analyzed at the logical gate level. This paper presents a temporal extension to the GDE framework which makes it possible to analyze and successfully troubleshoot such circuits.
de Kleer, J. Troubleshooting temporal behavior in ''combinatorial'' circuits. International Workshop on Principles of Diagnosis; 2007 May 29-31; Nashville; TN; USA.