J
Joonyoung Kim
Researcher at University of Michigan
Publications - 5
Citations - 251
Joonyoung Kim is an academic researcher from University of Michigan. The author has contributed to research in topics: Boolean satisfiability problem & Combinational logic. The author has an hindex of 3, co-authored 4 publications receiving 246 citations. Previous affiliations of Joonyoung Kim include Intel.
Papers
More filters
Proceedings ArticleDOI
SATIRE: a new incremental satisfiability engine
TL;DR: SATIRE is introduced, a new satisfiability solver that is particularly suited to verification and optimization problems in electronic design automation, and includes two new features to achieve even higher performance: a facility for incrementally solving sets of related problems, and the ability to handle non-CNF constraints.
Proceedings ArticleDOI
On applying incremental satisfiability to delay fault testing
TL;DR: This paper presents a method to simultaneously solve several closely related SAT instances using incremental satisfiability (ISAT), and shows that this methodology can achieve significant gains in total runtime when used as opposed to resetting the decision sequences and solving each instance from scratch.
Proceedings ArticleDOI
On solving stack-based incremental satisfiability problems
TL;DR: This paper presents a new ISAT engine that supports both the addition and removal of constraints, and identifies and defines a special type of ISAT that occurs frequently in the context of path sensitization called stack-based ISAT and defines the structure of this as a problem tree.
Book ChapterDOI
Satisfiability-Based Functional Delay Fault Testing
TL;DR: It is shown that SAT–based functional delay fault testing can yield very competitive results with careful construction of the CNF formulas for the target faults with simple structural analysis of the circuit formulas of minimum size.