Optimizing sequential verification by retiming transformations

Proceedings - Design Automation Conference

Volumn , Issue , 2000, Pages 601-606

  Cabodi, Gianpiero ^a   Quer, Stefano ^a   Somenzi, Fabio ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FINITE AUTOMATA; SEQUENTIAL CIRCUITS; TIMING CIRCUITS;

BINARY DECISION DIAGRAMS; RETIMING TRANSFORMATIONS; SEQUENTIAL VERIFICATION;

DECISION THEORY;

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

References (9)