515 search results - page 41 / 103 » Efficient Logic Optimization Using Regularity Extraction |
120
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
128
click to vote
USENIX
2008
15 years 4 months ago
2008
zation is a well-known method of abstracting physical resources and of separating the manipulation and use of logical resources from their underlying implementation. We have used ...
103
Voted
DOCENG
2009
ACM
15 years 9 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
132
click to vote
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
96
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...