Checking consistency of C and Verilog using predicate abstraction and induction - Sciweavers

33

click to vote

more ICCAD 2004 ...

reports-archive.adm.cs.cmu.edu

Tweet