Arama Sonuçları - "Integrated circuits Verification."

Practical design verification

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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

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

Simulation and verification of electronic and biological systems

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Verification of systems and circuits using LOTOS, Petri Nets, and CCS Yazar: Yoeli, Michael 1917-

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

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

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

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

Available for University of the Philippine Diliman via Springerlink. Click here to access

Electronic design automation for integrated circuits handbook

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

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