Christoph Scholl, Bernd Becker. Checking Equivalence for Circuits Containing Incompletely Specified Boxes. In 20th International Conference on Computer Design (ICCD 2002), VLSI in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings. pages 56-63, IEEE Computer Society, 2002. [doi]
@inproceedings{SchollB02, title = {Checking Equivalence for Circuits Containing Incompletely Specified Boxes}, author = {Christoph Scholl and Bernd Becker}, year = {2002}, url = {http://csdl.computer.org/comp/proceedings/iccd/2002/1700/00/17000056abs.htm}, researchr = {https://researchr.org/publication/SchollB02}, cites = {0}, citedby = {0}, pages = {56-63}, booktitle = {20th International Conference on Computer Design (ICCD 2002), VLSI in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-7695-1700-5}, }