DocumentCode :
28051
Title :
Automatic procedures for the behavioral verification of digital designs
Author :
Srinivas Devadas. استاد راهنما
University :
Dspace at Mit Libraries
Grade :
نامعلوم
Major :
Thesis )Ph. D.(
Number of pages :
0
Publish Date :
1992
Note :
01
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=28051
