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]
Abstract is missing.