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

35

click to vote

more ICCAD 2004 ...

reports-archive.adm.cs.cmu.edu

Tweet