- Record: found
- Abstract: not found
- Book Chapter: not found
Correct Hardware Design and Verification Methods
Improved probabilistic verification by hash compaction
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references10
- Record: found
- Abstract: not found
- Article: not found
Universal classes of hash functions
J.Lawrence Carter, Mark Wegman (1979)
- Record: found
- Abstract: not found
- Article: not found
Concrete Mathematics: A Foundation for Computer Science
Ronald Graham, Donald Knuth, Oren Patashnik … (1989)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Protocol verification as a hardware design aid
D.L. Dill, A.J. Drexler, A.J. Hu … (1992)