Gösterilen 1 - 10 sonuçlar arası kayıtlar. 15 sonuç. Aranan kelime '"Integrated circuits Verification."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1

    Authentication of embedded devices technologies, protocols and emerging applications

    Baskı/Yayın Bilgisi 2021
    Also available remotely for the University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Available for University of the Philippines System via SpringerLink. Click here to access
    Electronic Resource

    Authentication of embedded devices technologies, protocols and emerging applications
  2. 2

    System Verilog assertions and functional coverage guide to language, methodology and applications Yazar: Mehta, Ashok B.

    Baskı/Yayın Bilgisi 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    System Verilog assertions and functional coverage guide to language, methodology and applications
  3. 3

    ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies Yazar: Mehta, Ashok B.

    Baskı/Yayın Bilgisi 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies
  4. 4

    Formal system verification state-of-the-art and future trends

    Baskı/Yayın Bilgisi 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Formal system verification state-of-the-art and future trends
  5. 5

    Computer-hardware evaluation of mathematical functions Yazar: Omondi, Amos R.

    Baskı/Yayın Bilgisi 2016
    Kitap

    Computer-hardware evaluation of mathematical functions
  6. 6

    SystemVerilog assertions and functional coverage guide to language, methodology and applications Yazar: Mehta, Ashok B.

    Baskı/Yayın Bilgisi 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    SystemVerilog assertions and functional coverage guide to language, methodology and applications
  7. 7

    Counterfeit integrated circuits detection and avoidance Yazar: Tehranipoor, Mohammad H. 1974-, Guin, Ujjwal, Forte, Domenic

    Baskı/Yayın Bilgisi 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Counterfeit integrated circuits detection and avoidance
  8. 8

    Simulation and verification of electronic and biological systems

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Simulation and verification of electronic and biological systems
  9. 9

    High-Level Verification Methods and Tools for Verification of System-Level Designs Yazar: Kundu, Sudipta, Lerner, Sorin, Gupta, Rajesh K.

    Yayımlandı Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource

    High-Level Verification Methods and Tools for Verification of System-Level Designs
  10. 10

    The simple art of SoC design closing the gap between RTL and ESL Yazar: Keating, Michael 1950-

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    The simple art of SoC design closing the gap between RTL and ESL

Arama Araçları: