Improving symbolic traversals by means of activity profiles

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 306-311

  Cabodi, Gianpiero ^a   Camurati, Paolo ^a   Quer, Stefano ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COST EFFECTIVENESS; GRAPH THEORY; SEQUENTIAL MACHINES; STORAGE ALLOCATION (COMPUTER);

REACHABILITY ANALYSIS; STATE TRANSITION GRAPHS;

SEQUENTIAL CIRCUITS;

EID: 0032683643     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309847.309938     Document Type: Conference Paper

References (9)