S
S.G. Rothweiler
Researcher at Princeton University
Publications - 2
Citations - 195
S.G. Rothweiler is an academic researcher from Princeton University. The author has contributed to research in topics: Parallel algorithm & Transitive closure. The author has an hindex of 2, co-authored 2 publications receiving 193 citations.
Papers
More filters
Journal ArticleDOI
A transitive closure algorithm for test generation
TL;DR: A transitive-closure-based test generation algorithm is presented that dependences derived from the transitive closure are used to reduce ternary relations to binary relations that in turn dynamically update the transitives closure.
Proceedings ArticleDOI
Redundancy removal and test generation for circuits with non-Boolean primitives
TL;DR: This paper uses the test generation algorithm for identifying undetectable faults and then relax specific constraints in the original test generation problem by ignoring the non-Boolean components, and shows that undetectability in the relaxed formulation implies redundancy.