Checking consistency of C and Verilog using predicate abstraction and induction
- Conference Paper
Book titleInternational Conference on Computer Aided Design ICCAD-2004
Journal / seriesInternational Conference on Computer Aided Design ICCAD-2004
Pages / Article No.
PublisherACM Order Department
MoreShow all metadata