The efficiency of test generation (quality, speed) for digital systems like microprocessors is highly depending on the methods for diagnostic modeling of systems. For systems with high logic complexity higher level methods are unavoidable. A method is discussed for modeling microprocessors with high level Decision Diagrams (DD). DDs can be used for developing a general theory for diagnosis of systems on high levels of abstractions, similarly as BDDs are used for logic circuits. The traditional high level fault model of microprocessors is transformed to an equivalent fault model on DDs. On the other hand, the use of high-level DDs (HLDD) allows to formalize and automate high-level test program generation and word justification tasks as we solve the test generation and line justification tasks on logic level using BDDs. Experimental results demonstrate the efficiency of high-level test generation for a benchmark set of simplified RISC type processors compared to the gate-level approach.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.