Titlebook: Debug Automation from Pre-Silicon to Post-Silicon; Mehdi Dehbashi,Görschwin Fey Book 2015 Springer International Publishing Switzerland 20

使显得不重要

粗糙

grudging

Preliminaries, gates with symmetric functions. Each node in the circuit graph is associated with a symmetric function which represents the corresponding behavior of that gate in the circuit. A symmetric function does not depend on the order of inputs but only on the sum of variables assigned to 0 or to 1, respectively.

Resistance

aneurysm

Accessible

使声音降低

tomation of a hardware system at different levels of abstrac.This book describes automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system. The authors employ a transaction-based debug approach to systems at the transaction-level, as

Gene408

Digitalis

Das Mikroskop und seine Anwendungces of an observed error by using the available counterexamples utilizing the practical efficiency of SAT-based reasoning engines for NP-complete problems. Each potential source of the error is returned as a fault candidate which is a set of components of the circuit.

VERT

Ankauf und Prüfung des Mikroskops. Post-silicon debugging requires a larger effort. The post-silicon validation process starts by applying test vectors to the IC or by running a test program, such as end-user applications or functional tests, on the IC until an error is detected [CMB07a, PHM09].