Automated techniques for formal verification of SoCs
(Q111964137)
2009 doctoral thesis by Roopak Sinha at University of Auckland
2009 doctoral thesis by Roopak Sinha at University of Auckland
Language:
Current Data About
Automated techniques for formal verification of SoCs
| (P31) |
(Q187685)
|
||
| (P50) |
(Q102390262)
|
||
| (P123) |
(Q111173358)
|
||
| (P495) |
(Q664)
|
||
| (P577) |
+2009-00-00T00:00:00Z
|
||
| (P921) |
(Q11023)
|
||
| (P953) |
https://researchspace.auckland.ac.nz/handle/2292/4238
|
||
| (P1476) |
"Automated techniques for formal verification of SoCs" (language: en)
|
||
| (P3931) |
(Q102390262)
|
||
| (P4101) |
(Q492467)
|
||
| (P5008) |
(Q111645234)
|
||
| (P6216) |
(Q50423863)
|
||
| (P6954) |
(Q232932)
|
||
| (P9161) |
(Q92216386)
|