Checking Equivalence for Circuits Containing Incompletely Specified Boxes

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]

Authors

Christoph Scholl

This author has not been identified. Look up 'Christoph Scholl' in Google

Bernd Becker

This author has not been identified. Look up 'Bernd Becker' in Google