Результаты поиска - "Integrated circuits Verification."

Practical design verification

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

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

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

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