395 search results - page 67 / 79 » Encoding Algorithms for Logic Synthesis |
126
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
148
Voted
FPGA
2001
ACM
15 years 6 months ago
2001
ACM
Discrete wavelet transformations (DWT) followed by embedded zerotree encoding is a very efficient technique for image compression [2, 5, 4]. However, the algorithms proposed in l...
127
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
One problem that has plagued Genetic Programming (GP) and its derivatives is numerical constant creation. Given a mathematical formula expressed as a tree structure, the leaf node...
120
click to vote
VTS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a novel test point insertion methodology is presented for RTL designs that aims to reduce the data volume of scan-based transition delay tests. Test points are iden...
115
click to vote
ASAP
2005
IEEE
15 years 8 months ago
2005
IEEE
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...