On using a 2-domain partitioned OBDD data structure in verification

Abstract

In this paper, we propose a symbolic simulation method where Boolean functions can be efficiently manipulated through a 2-domain partitioned OBDD data structure. The functional partition is applied based on the key decision points in a circuit. We demonstrate that key decision points in an RTL model can be extracted automatically to facilitate verification… (More)
DOI: 10.1109/HLDVT.2004.1431234

12 Figures and Tables

Topics

  • Presentations referencing similar topics