Safe BDD Minimization Using Don't Cares

2005 ◽  
Author(s):  
Youpyo Hong ◽  
P.A. Beerel ◽  
J.R. Burch ◽  
K.L. McMillan
Keyword(s):  
Don't Cares

Sequential Don’t Cares

1992 ◽  
pp. 169-201
Author(s):  
Pranav Ashar ◽  
Srinivas Devadas ◽  
A. Richard Newton
Keyword(s):  
Don't Cares

SAT Sweeping with Local Observability Don’t-Cares

2010 ◽  
pp. 129-148
Author(s):  
Qi Zhu ◽  
Nathan B. Kitchen ◽  
Andreas Kuehlmann ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Don't Cares

Tree Pattern Matching

1997 ◽  
Author(s):  
K. Zhang ◽  
D. Shasha
Keyword(s):  
Point Of View ◽  
Programming Approach ◽  
Suffix Trees ◽  
Dynamic Programming Approach ◽  
Ordered Trees ◽  
Single Leaf ◽  
Tree Pattern Matching ◽  
A Cell ◽  
Carry Over ◽  
Don't Cares

Most of this book is about stringology, the study of strings. So why this chapter on trees? Why not graphs or geometry or something else? First, trees generalize strings in a very direct sense: a string is simply a tree with a single leaf. This has the unsurprising consequence that many of our algorithms specialize to strings and the happy consequence that some of those algorithms are as efficient as the best string algorithms. From the point of view of “treeology”, there is the additional pragmatic advantage of this relationship between trees and strings: some techniques from strings carry over to trees, e.g., suffix trees, and others show promise though we don’t know of work that exploits it. So, treeology provides a good example area for applications of stringologic techniques. Second, some of our friends in stringology may wonder whether there is some easy reduction that can take any tree edit problem, map it to strings, solve it in the string domain and then map it back. We don’t believe there is, because, as you will see, tree editing seems inherently to have more data dependence than string editing. (Specifically, the dynamic programming approach to string editing is always a local operation depending on the left, upper, and upper left neighbor of a cell. In tree editing, the upper left neighbor is usually irrelevant — instead the relevant cell depends on the tree topology.) That is a belief not a theorem, so we would like to state right at the outset the key open problem of treeology: can all tree edit problems on ordered trees (trees where the order among the siblings matters) be reduced efficiently to string edit problems and back again?. The rest of this chapter proceeds on the assumption that this question has a negative response. In particular, we discuss the best known algorithms for tree editing and several variations having to do with subtree removal, variable length don’t cares, and alignment. We discuss both sequential and parallel algorithms.

Multi-level logic minimization using implicit don't cares

1988 ◽  
Vol 7 (6) ◽  
pp. 723-740 ◽  
Author(s):  
K.A. Bartlett ◽  
R.K. Brayton ◽  
G.D. Hachtel ◽  
R.M. Jacoby ◽  
C.R. Morrison ◽  
...  
Keyword(s):  
Logic Minimization ◽  
Multi Level ◽  
Don't Cares
Sign in / Sign up

Export Citation Format

Share Document