Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             10 results found
no title author magazine year volume issue page(s) type
1 A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits Uygur, Gürkan
 2013
 29 5 p. 697-714
 article
2 A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs Gao, Yanyan
 2013
 29 5 p. 685-695
 article
3 Automatic Generation of System Level Assertions from Transaction Level Models Liu, Lingyi
 2013
 29 5 p. 669-684
 article
4 Editorial Agrawal, Vishwani D.
 2013
 29 5 p. 617
 article
5 Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces Lata, Kusum
 2013
 29 5 p. 715-740
 article
6 Guest Editorial: Test and Verification Challenges for Future Microprocessors and SoC Designs Ray, Sandip
 2013
 29 5 p. 621-623
 article
7 LLVMVF: A Generic Approach for Verification of Multicore Software Sousa, Marcelo
 2013
 29 5 p. 635-646
 article
8 Observation-Oriented ATPG and Scan Chain Disabling for Capture Power Reduction Lee, Lung-Jen
 2013
 29 5 p. 625-634
 article
9 On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation Bombieri, Nicola
 2013
 29 5 p. 647-667
 article
10 Test Technology Newsletter 2013
 29 5 p. 619-620
 article
                             10 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands