Citing this Project

Table of Contents

• Preliminary Papers
• Original CAL Papers

Please consider to cite one or more of the following papers, if you use CAL in some your work.

Preliminary Papers

The breadth-first algorithms of CAL took multiple iterations to design such that they are usable in practice. Hence, these two publications should also be cited when citing CAL.

• Hiroyuki Ochi, Koichi Yasuoka, and Shuzo Yajima “Breadth-first manipulation of very large binary-decision diagrams”. In: International Conference on Computer Aided Design (ICCAD). (1993)

  @InProceedings{Ochi1993,
    title     = {Breadth-first manipulation of very large binary-decision diagrams},
    author    = {Ochi, Hiroyuki
             and Yasuoka, Koichi
             and Yajima, Shuzo},
    booktitle = {International Conference on Computer Aided Design (ICCAD)},
    publisher = {IEEE Computer Society Press},
    year      = 1993,
    pages     = {48--55},
    doi       = {10.1109/ICCAD.1993.580030},
  }

• Pranav Ashar and Matthew Cheong. “Efficient Breadth-First Manipulation of Binary Decision Diagrams”. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD). (1994)

  @InProceedings{Ashar1994,
    author    = {Ashar, Pranav
             and Cheong, Matthew},
    title     = {Efficient Breadth-First Manipulation of Binary Decision Diagrams},
    year      = 1994,
    booktitle = {IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
    publisher = {IEEE Computer Society Press},
    pages     = {622--627},
    doi       = {10.1109/ICCAD.1994.629886}
  }

Original CAL Papers

The following two papers on the specific breadth-first BDD manipulation in CAL have been published. If you use variable reordering, the second is worth citation. Otherwise, only cite the first.

• Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli. “High Performance BDD Package by Exploiting Memory Hierarchy”. In: 33rd Design Automation Conference (DAC). (1996)

  @InProceedings{Sanghavi1996,
    author    = {Sanghavi, Jagesh V.
             and Ranjan, Rajeev K.
             and Brayton, Robert K.
             and Sangiovanni-Vincentelli, Alberto},
    title     = {High Performance {BDD} Package by Exploiting Memory Hierarchy},
    year      = 1996,
    booktitle = {33rd Design Automation Conference (DAC)},
    pages     = {635--640},
    publisher = {Association for Computing Machinery},
    doi       = {10.1145/240518.240638}
  }

• Rajeev K. Ranjan, W. Gosti, Robert K. Brayton, and Alberto Sangiovanni-Vincenteili “Dynamic reordering in a breadth-first manipulation based BDD package: challenges and solutions”. In: Proceedings International Conference on Computer Design VLSI in Computers and Processors. (1997)

  @InProceedings{Ranjan1997,
    title     = {Dynamic reordering in a breadth-first manipulation based BDD package: challenges and solutions},
    author    = {Ranjan, R.K. and Gosti, W. and Brayton, R.K. and Sangiovanni-Vincenteili, A.},
    booktitle = {Proceedings International Conference on Computer Design VLSI in Computers and Processors},
    year      = {1997},
    volume    = {},
    number    = {},
    pages     = {344--351},
    doi       = {10.1109/ICCD.1997.628893}
  }