Reuven Naveh

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Computational Power

Vlsi Implementation

Hardware Software

Random Number Generator

Top Venues

Publications

Reuven Naveh, Amit Metodi
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. CP (2013)
Aaron Rich, Giora Alexandron, Reuven Naveh
An Explanation-Based Constraint Debugger. Haifa Verification Conference (2009)