An efficient solution to the storage correspondence problem for large sequential circuits Conference Paper uri icon

abstract

  • 2001 IEEE. Traditional state-traversal-based methods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if the correspondence of the memory elements of the two circuits can be established, a difficult sequential verification problem can be transformed into an easier combinational verification problem. In this paper, we propose an approach that combines two complementary simulation-based methods for fast and accurate storage correspondence. Experiments on the large ISCAS89 benchmark circuits demonstrate the superiority.

name of conference

  • Proceedings of the 2001 conference on Asia South Pacific design automation - ASP-DAC '01

published proceedings

  • PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001

author list (cited authors)

  • Cao, W. L., Walker, D., & Mukherjee, R.

citation count

  • 0

complete list of authors

  • Cao, WL||Walker, DMH||Mukherjee, R

publication date

  • January 2001