460 search results - page 54 / 92 » RTL-Datapath Verification using Integer Linear Programming |
132
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
94
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
When donating money to a (say, charitable) cause, it is possible to use the contemplated donation as a bargaining chip to induce other parties interested in the charity to donate ...
109
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
— Small gates, such as AND2, XOR2 and MUX2, have been mixed with lookup tables (LUTs) inside the programmable logic block (PLB) to reduce area and power and increase performance ...
118
Voted
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
132
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...