Amanote Research
Register
Sign In
Approximating Checkers for Simulation Acceleration
doi 10.1109/date.2012.6176449
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2012
Authors
B. Mammo
D. Chatterjee
D. Pidan
A. Nahir
A. Ziv
R. Morad
V. Bertacco
Publisher
IEEE