Extended BDD s: Trading off Canonicity for Structure in Verification Algorithms - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi. Extended BDD s: Trading off Canonicity for Structure in Verification Algorithms. In ICCAD. pages 464-467, 1991.

@inproceedings{JeongPHS91,
  title = {Extended BDD s: Trading off Canonicity for Structure in Verification Algorithms},
  author = {Seh-Woong Jeong and Bernard Plessier and Gary D. Hachtel and Fabio Somenzi},
  year = {1991},
  researchr = {https://researchr.org/publication/JeongPHS91},
  cites = {0},
  citedby = {0},
  pages = {464-467},
  booktitle = {ICCAD},
}

runs on WebDSL