D
Daniel G. Saab
Researcher at Case Western Reserve University
Publications - 41
Citations - 443
Daniel G. Saab is an academic researcher from Case Western Reserve University. The author has contributed to research in topics: Automatic test pattern generation & CMOS. The author has an hindex of 12, co-authored 41 publications receiving 437 citations.
Papers
More filters
Book ChapterDOI
Satisfiability on reconfigurable hardware
Miron Abramovici,Daniel G. Saab +1 more
TL;DR: A new approach to implement satisfiability (SAT) on reconfigurable hardware that relies on fine-grain massive parallelism and a major novel feature is that both the next variable to assign and its value are dynamically determined by a backward model traversal done in hardware.
Proceedings Article
Verifying Properties Using Sequential ATPG
TL;DR: This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools that is automatically mapped into a monitor circuit with a target fault so that finding a test for the fault corresponds to formally establishing the property.
Proceedings ArticleDOI
A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware
TL;DR: The architecture of a new SAT solver using reconfigurable logic and structured design techniques based on iterative logic arrays that reduce compilation times from hours to a few minutes are presented.
Journal ArticleDOI
Single-device “XOR” and “AND” gates for high speed, very low power LSI mechanical processors
TL;DR: In this article, the feasibility of microelectro-mechanical system (MEMS) functional devices where a single device functions as a logic gate was demonstrated and the number of MEMS devices needed to implement a mechanical processor was reduced by a factor of 10.
Proceedings ArticleDOI
Formal verification using bounded model checking: SAT versus sequential ATPG engines
TL;DR: This paper compares the performance of SAT solvers with sequential Automatic Test Pattern Generation (ATPG) techniques for property verification and shows that, contrary to popular belief, ATPG techniques perform much better than SAT based verification techniques, especially for large designs.