Least fixpoint approximations for reachability analysis

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1999, Pages 41-44

  Moon, In Ho ^a   Kukula, James ^a   Shiple, Tom ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS MACHINERY; COMPUTATIONAL COMPLEXITY; INTEGRATED CIRCUIT TESTING; LEAST SQUARES APPROXIMATIONS; OPTIMIZATION; THEOREM PROVING;

FINITE STATE MACHINES; FRAME BY FRAME; LEAST FIXPOINT APPROXIMATION; MACHINE BY MACHINE; REACHABILITY ANALYSIS;

SEQUENTIAL CIRCUITS;

EID: 0033316172     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)