An Efficient Equivalence Checker for Combinational Circuits - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yusuke Matsunaga. An Efficient Equivalence Checker for Combinational Circuits. In DAC. pages 629-634, 1996. [doi]

@inproceedings{Matsunaga96,
  title = {An Efficient Equivalence Checker for Combinational Circuits},
  author = {Yusuke Matsunaga},
  year = {1996},
  doi = {10.1145/240518.240637},
  url = {http://doi.acm.org/10.1145/240518.240637},
  researchr = {https://researchr.org/publication/Matsunaga96},
  cites = {0},
  citedby = {0},
  pages = {629-634},
  booktitle = {DAC},
}

runs on WebDSL