8 search results - page 1 / 2 » Random Stimulus Generation using Entropy and XOR Constraints |
DATE
2008
IEEE
13 years 10 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
ASPDAC
2009
ACM
13 years 10 months ago
2009
ACM
ITC
2003
IEEE
13 years 9 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Using the concept of discrete noiseless channels, it was shown by Shannon in A Mathematical Theory of Communication that the ultimate performance of an encoder for a constrained sy...
ICIP
2001
IEEE
14 years 5 months ago
2001
IEEE
In this paper we propose a new watermarking technique where the watermark is embedded according to two keys. The first key is used to embed a code bit in a block of pixels. The se...