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