213 search results - page 17 / 43 » presence 2000 |
ITC
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper studies some manufacturing test data collected for an experimental digital IC. Test results for a large variety of single-stuck fault based test sets are shown and comp...
ITC
2000
IEEE
13 years 12 months ago
2000
IEEE
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
LICS
2000
IEEE
13 years 12 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
VLSID
2000
IEEE
13 years 12 months ago
2000
IEEE
We consider the problem of timing analysis in the presence of known false paths. The main difficulty in adaptation of classical breadth-first search to the problem is that at each...
WECWIS
2000
IEEE
13 years 12 months ago
2000
IEEE
XML documents are semistructured and the structure of the documents is embedded in the tags. Although XML documents can be accompaniedby a DTD that defines the structure of the d...