Sciweavers

453 search results - page 5 / 91
» date 2006
Sort
View
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
14 years 4 months ago
Avoiding false negatives in formal verification for protocol-driven blocks
Görschwin Fey, Daniel Große, Rolf Drech...
DATE
2006
IEEE
71views Hardware» more  DATE 2006»
14 years 4 months ago
Quantifier structure in search based procedures for QBFs
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
DATE
2006
IEEE
84views Hardware» more  DATE 2006»
14 years 4 months ago
Efficient test-data compression for IP cores using multilevel Huffman coding
Xrysovalantis Kavousianos, Emmanouil Kalligeros, D...