Rezultaty - "Integrated circuits Verification"

Practical design verification

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

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

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

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