![]() |
Volumn 1855, Issue , 2000, Pages 20-35
|
Achieving scalability in parallel reachability analysis of very large circuits
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AXIAL FLOW;
COMPUTER AIDED ANALYSIS;
EFFICIENCY;
MEMORY ARCHITECTURE;
SCALABILITY;
TIMING CIRCUITS;
ADAPTIVE PARTITIONING;
DISTRIBUTED MEMORY;
DISTRIBUTED TERMINATION;
HIGH PERFORMANCE MODELING;
PARTITIONING ALGORITHMS;
REACHABILITY ANALYSIS;
SPACE REQUIREMENTS;
SYMBOLIC REACHABILITY ANALYSIS;
MODEL CHECKING;
|
EID: 84944382125
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/10722167_6 Document Type: Conference Paper |
Times cited : (49)
|
References (11)
|