Fault detection/diagnosis has become a crucial function of the battery management system
(BMS) due to the increasing application of lithium-ion batteries (LIBs) in highly sophisticated …

Distributed financial systems are radically changing the way we do business and spend our
money. Ripple, in particular, is unique in its kind. It is built on consensus and trust among its …

A novel fault simulation method is proposed, based on exact critical path tracing beyond the
Fan-out-Free Regions (FFR) throughout the full circuit. The method exploits two types of …

The safety assessment of cyber-physical systems (CPSs) requires tremendous effort, as the
complexity of cyber-physical systems is increasing. A well-known approach for the safety …

The focus of the paper is detection of faults in NoC routers by combining concurrent
checkers with embedded on-line test to enable cost-effective trade-offs between area …

BDDs have become the state-of-the-art data structure in VLSI CAD. In this paper, a special
class of BDDs is presented called Structurally Synthesized BDDs (SSBDD). The idea of …

We propose a very fast fault simulation method which is based on exact parallel critical path
tracing developed for combinational circuits. To convert the sequential problem of fault …

The paper presents a new method and an algorithm for structural fault collapsing to reduce
the search space for test generation, to speed up fault simulation and to make the fault …

Due to the growing complexity of today's digital circuits, the speed of fault simulation has
become increasingly important. Although critical path tracing (CPT) is faster than …

The extreme complexity of digital systems enabled by nanometer-scale implementation
technologies comes along with strengthened design requirements that are difficult to …