-
1
Authentication of embedded devices technologies, protocols and emerging applications
Gepubliceerd in 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
Gepubliceerd in 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
Gepubliceerd in 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
Gepubliceerd in 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
Gepubliceerd in 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
Gepubliceerd in 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
Gepubliceerd in 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
Gepubliceerd in 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource


