Enhancing sequential depth computation with a branch-and-bound algorithm

  • Authors:
  • Chia-Chih Yen;Jing-Yang Jou

  • Affiliations:
  • Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan;Dept. of Electron. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan

  • Venue:
  • HLDVT '04 Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

The following topics are dealt with: formal verification; formal specification; processor-oriented validation; decision diagram; validation pattern generation; behavioral modeling; fault coverage analysis; SAT solving; network architecture validation; ...