Abstract | ||
---|---|---|
Abstract: It is commonly expected that any correct implementation can replace its specification inside a larger design without violating the correctness of the whole design. This property (called replaceability) is automatically satisfied in the absence of don't cares because "correctness" by definition implies that specification and implementation compute the identical function. However don't cares allow an implementation to compute a different function, and thus make it difficult to ensure replaceability. Whether this problem occurs depends on the exact meaning of "don't care" and the associated definition of "correctness". We will consider three meanings of "don't care" and for each give conditions under which correct implementations may replace their specifications. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1109/ICCAD.1995.479996 | ICCAD |
Keywords | Field | DocType |
different function,identical function,exact meaning,larger design,correct implementation,whole design,associated definition,logic design,satisfiability,correctness | Logic synthesis,Computer science,Correctness,Implementation,Theoretical computer science | Conference |
ISBN | Citations | PageRank |
0-8186-7213-7 | 12 | 1.23 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
D. Brand | 1 | 292 | 84.65 |
Reinaldo A. Bergamaschi | 2 | 420 | 52.57 |
Leon Stok | 3 | 179 | 18.69 |