Journals in DBLP

IEEE Design & Test of Computers
2007, volume: 24, number: 2

1. 
   Cocktail approach to functional verification. [Citation Graph (, )][DBLP]
   
   
2. 
   Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques. [Citation Graph (, )][DBLP]
   
   
3. 
   A Survey of Hybrid Techniques for Functional Verification. [Citation Graph (, )][DBLP]
   
   
4. 
   Hybrid Verification of Protocol Bridges. [Citation Graph (, )][DBLP]
   
   
5. 
   Combining Theorem Proving with Model Checking through Predicate Abstraction. [Citation Graph (, )][DBLP]
   
   
6. 
   Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. [Citation Graph (, )][DBLP]
   
   
7. 
   Hybrid Approach to Faster Functional Verification with Full Visibility. [Citation Graph (, )][DBLP]
   
   
8. 
   Economic Aspects of Memory Built-in Self-Repair. [Citation Graph (, )][DBLP]
   
   
9. 
   Roundtable: Envisioning the Future for Multiprocessor SoC. [Citation Graph (, )][DBLP]
   
   
10. 
    FSA SiP Market and Patent Analysis Report. [Citation Graph (, )][DBLP]
    
    
11. 
    On the cusp of a validation wall. [Citation Graph (, )][DBLP]
    
    
12. 
    Test Technology TC Newsletter. [Citation Graph (, )][DBLP]
    
    
13. 
    A textbook with two target audiences. [Citation Graph (, )][DBLP]
    
    
14. 
    Conference Reports. [Citation Graph (, )][DBLP]
    
    
15. 
    DATC Newsletter. [Citation Graph (, )][DBLP]
    
    
16. 
    Losing control. [Citation Graph (, )][DBLP]