Abstract: In automatic test pattern generation (ATPG), SAT-based methods are typically used to complement structural approaches, especially for addressing hard-to-detect faults. However, as the size ...

Abstract: Test sequences that do not use scan chains have several advantages as manufacturing tests. Test sequences can be produced by sequential test generation procedures, and static test compaction ...

Background: Dysphagia is a common complication after stroke, which could lead to aspiration. Early and reliable bedside detection and intervention of dysphagia is necessary to prevent ...