704 search results - page 58 / 141 » On-chip logic minimization |
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
The intellectual property (IP) business model is vulnerable to a number of potentially devastating obstructions, such as misappropriation and intellectual property fraud. We propo...
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
ITC
1995
IEEE
15 years 1 months ago
1995
IEEE
During built-in self-test (BIST), the set of patterns generated by a pseudo-random pattern generator may not provide a sufficiently high fault coverage. This paper presents a new ...
DIAGRAMS
2008
Springer
14 years 11 months ago
2008
Springer
Diagrammatic logics have advantages over symbolic cousins. Peirce thought that logical diagrams (Existential Graphs, EG) are capable of "expression of all assertions", as...
EUSFLAT
2001
14 years 11 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...