Symbolic timing simulation using cluster scheduling

@inproceedings{McDonald2000SymbolicTS,
  title={Symbolic timing simulation using cluster scheduling},
  author={Clayton B. McDonald and Randal E. Bryant},
  booktitle={DAC},
  year={2000}
}
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of full-custom transistor-level circuit designs, and for the functional verification of delay-dependent logic. While STS leverages efficient symbolic encodings to yield huge gains over conventional simulation methodologies, it still suffers from a problem known as event multiplication. We discuss this problem and present an event-list management technique based on event… CONTINUE READING