Record & play: A structural fixed point iteration for sequential circuit verification

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

Volumn , Issue , 1997, Pages 394-399

  Stoffel, Dominik ^a   Kunz, Wolfgang ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; ITERATIVE METHODS; MERGING; QUEUEING THEORY;

STRUCTURAL FIXED POINT ITERATION;

SEQUENTIAL CIRCUITS;

EID: 0031341801     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iccad.1997.643566     Document Type: Conference Paper

References (17)