Sciweavers

453 search results - page 5 / 91
» date 2006
Sort
View
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
15 years 10 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»
15 years 10 months ago
Quantifier structure in search based procedures for QBFs
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
DATE
2006
IEEE
84views Hardware» more  DATE 2006»
15 years 10 months ago
Efficient test-data compression for IP cores using multilevel Huffman coding
Xrysovalantis Kavousianos, Emmanouil Kalligeros, D...