Lower bounds of the size of Shared Structurally Synthesized BDDs

@article{Ubar2014LowerBO,
  title={Lower bounds of the size of Shared Structurally Synthesized BDDs},
  author={Raimund Ubar and Dmitri Mironov},
  journal={17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems},
  year={2014},
  pages={77-82}
}
A novel type of BDDs called Shared Structurally Synthesized BDDs (S3BDD) is presented as an extension of the SSBDDs, and a method is given to minimize the size of the model. As in case of SSBDDs, the S3BDDs have linear complexity compared to the size of the logic circuit they represent, and they are characterized by the property of one-to-one mapping between the nodes of graphs and signal paths in the circuit. Minimization of S3BDDs makes it possible to get higher rates in fault collapsing, and… CONTINUE READING
4 Citations
8 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Parallel XFault Simulation with Critical Path Tracing Technique "

  • S. Devadze R. Ubar, J. Raik, A. Jutman
  • IEEE Proc . Of Design Automation and Test in…
  • 2010

Minimization of Free BDDs

  • W.Günther, R.Drechsler
  • ASPDAC, Hong Kong, Jan 1999,
  • 1999
2 Excerpts

Efficient Implementation of a BDD Package

  • K.S.Brace, R.L.Rudell, R.E.Bryant
  • 1990
3 Excerpts

Representation of Switching Circuits by Binary Decision Diagrams

  • C. Y. Lee
  • Bell System Techn. J.
  • 1959
2 Excerpts

Similar Papers

Loading similar papers…