-
1
Authentication of embedded devices technologies, protocols and emerging applications
Publicado em 2021Also available remotely for the University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Available for University of the Philippines System via SpringerLink. Click here to access
Electronic Resource -
2
System Verilog assertions and functional coverage guide to language, methodology and applications
Publicado em 2020Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
3
ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies
Publicado em 2018Available 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
Electronic Resource -
4
Formal system verification state-of-the-art and future trends
Publicado em 2018Available 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
Electronic Resource -
5
-
6
SystemVerilog assertions and functional coverage guide to language, methodology and applications
Publicado em 2016Available 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
Electronic Resource -
7
Counterfeit integrated circuits detection and avoidance
Publicado em 2015Available 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
Electronic Resource -
8
Simulation and verification of electronic and biological systems
Publicado em 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
9
-
10
The simple art of SoC design closing the gap between RTL and ESL
Publicado em 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource


