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


