DocumentCode :
416242
Title :
Abstraction refinement by controllability and cooperativeness analysis
Author :
Mang, Freddy Y C ; Ho, Pei-Hsin
Author_Institution :
Advanced Technology Group, Synopsys, Inc.
fYear :
2004
fDate :
7-11 July 2004
Firstpage :
224
Lastpage :
229
Keywords :
Boolean functions; Controllability; Counting circuits; Data structures; Engines; Information analysis; Logic design; Permission; Reachability analysis; Safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
ISSN :
0738-100X
Print_ISBN :
1-51183-828-8
Type :
conf
Filename :
1322475
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416242
بازگشت