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)
|