Formal verification of pipeline control using controlled token nets and abstract interpretation

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

Volumn , Issue , 1998, Pages 529-536

  Ho, Pei Hsin ^a   Isles, Adrian J ^a   Kam, Timothy ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FINITE AUTOMATA; MATHEMATICAL MODELS;

CONTROLLED TOKEN NETS; PIPELINE CONTROL VERIFICATION;

COMPUTER AIDED LOGIC DESIGN;

EID: 0032314742     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/288548.289082     Document Type: Conference Paper

References (17)