Searching for authors named "Yiorgos Makris" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Concurrent Fault Detection in Random Combinational Logic
- …We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circuit acts as a predictor that immediately detects potential faults by comparison to the original circuit. However, instead o…
- Cited by 2 (0 self) – Add To MetaCart
-
Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees
- …We discuss a non-intrusive methodology for concurrent error detection in FSMs. The proposed method is based on compaction and monitoring of the state/output bits of an FSM via parity trees. While errors may affect more than one state/output bit, not all combinations of state/output bits constitute p…
- Cited by 1 (1 self) – Add To MetaCart
-
Channel-Based Behavioral Test Synthesis for Improved Module Reachability
- …We introduce a novel behavioral test synthesis methodology that attempts to increase module reachability, driven by powerful global design path analysis. Based on the notion of transparency channels, test justification and propagation bottlenecks are revealed for each module in the design. Subsequen…
- Add To MetaCart
-
RTL Test Justification and Propagation Analysis for Modular Designs
- …. Modular decomposition and functional abstraction are commonly employed to accommodate the growing size and complexity of modern designs. In the test domain, a divide & conquer type of approach is utilized, wherein test is locally generated at each module's boundary and consequently translated to g…
- Add To MetaCart
-
A Module Diagnosis and Design-for-Debug Methodology Based on Hierarchical Test Paths
- …Fault identification capabilities are becoming increasingly important in modern designs, not only in support of design debugging methodologies, but also for the purpose of process characterization and yield enhancement. At the same time, hierarchical test approaches are becoming the prevalent means …
- Add To MetaCart
-
RTL Test Justification and Propagation Analysis for Modular Designs
- …. Modular decomposition and functional abstraction are commonly employed to accommodate the growing size and complexity of modern designs. In the test domain, a divide & conquer type of approach is utilized, wherein test is locally generated at each module's boundary and consequently translated to g…
- Cited by 10 (1 self) – Add To MetaCart
Showing 1 through 6.
