By Topic

Ordered binary decision diagrams and minimal trellises

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Lafferty, J. ; Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA ; Vardy, A.

Ordered binary decision diagrams (OBDDs) are graph-based data structures for representing Boolean functions. They have found widespread use in computer-aided design and in formal verification of digital circuits. Minimal trellises are graphical representations of error-correcting codes that play a prominent role in coding theory. This paper establishes a close connection between these two graphical models, as follows. Let 𝒞 be a binary code of length n, and let fc (x1, ..., xn) be the Boolean function that takes the value 0 at x1, ..., xn if and only if (x 1, ..., xn)∈𝒞. Given this natural one-to-one correspondence between Boolean functions and binary codes, we prove that the minimal proper trellis for a code 𝒞 with minimum distance d>1 is isomorphic to the single-terminal OBDD for its Boolean indicator function fc(x1, ..., xn ). Prior to this result, the extensive research during the past decade on binary decision diagrams (in computer engineering) and on minimal trellises (in coding theory) has been carried out independently. As outlined in this work, the realization that binary decision diagrams and minimal trellises are essentially the same data structure opens up a range of promising possibilities for transfer of ideas between these disciplines

Published in:

Computers, IEEE Transactions on  (Volume:48 ,  Issue: 9 )