A Performance Study of BDD-Based Model Checking (abstract and bib |
postscript | PDF).
B. Yang, R. Bryant, D. O'Hallaron, A. Biere, O. Coudert, G. Janssen, R. K.
Ranjan, F. Somenzi.
An invited paper in the Second International Conference on Formal Methods in
Computer-Aided Design (FMCAD'98), pages 255-289, Palo Alto, CA, November
1998.
==> Google "Bwolen Yang BDD"
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.134.63