Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits Uygur, Gürkan
 2013
 29 5 p. 697-714
 artikel
2 A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs Gao, Yanyan
 2013
 29 5 p. 685-695
 artikel
3 Automatic Generation of System Level Assertions from Transaction Level Models Liu, Lingyi
 2013
 29 5 p. 669-684
 artikel
4 Editorial Agrawal, Vishwani D.
 2013
 29 5 p. 617
 artikel
5 Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces Lata, Kusum
 2013
 29 5 p. 715-740
 artikel
6 Guest Editorial: Test and Verification Challenges for Future Microprocessors and SoC Designs Ray, Sandip
 2013
 29 5 p. 621-623
 artikel
7 LLVMVF: A Generic Approach for Verification of Multicore Software Sousa, Marcelo
 2013
 29 5 p. 635-646
 artikel
8 Observation-Oriented ATPG and Scan Chain Disabling for Capture Power Reduction Lee, Lung-Jen
 2013
 29 5 p. 625-634
 artikel
9 On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation Bombieri, Nicola
 2013
 29 5 p. 647-667
 artikel
10 Test Technology Newsletter 2013
 29 5 p. 619-620
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland