Risultati della ricerca - "Integrated circuits Verification"

Practical design verification

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

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

Counterfeit integrated circuits detection and avoidance di 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 di Yoeli, Michael 1917-

Computer-hardware evaluation of mathematical functions di 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 di 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 di 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