Suchergebnisse - "Integrated circuits Verification."

Practical design verification

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

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

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

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