학술논문
Equivalence checking of hierarchical combinational circuits
Document Type
Conference
Author
Source
ICECS'99. Proceedings of ICECS '99. 6th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.99EX357) Electronics, circuits and systems Electronics, Circuits and Systems, 1999. Proceedings of ICECS '99. The 6th IEEE International Conference on. 1:355-360 vol.1 1999
Subject
Language
Abstract
This paper presents a method for verifying that two hierarchical combinational circuits implement the same Boolean functions. The key new feature of the method is its ability to exploit the modularity of the circuits to reuse results obtained from one part of the circuits in other parts. We demonstrate the method on large adder and multiplier circuits.