# hw9 - F contains an implicant ca b . Show the ROBDD of all...

This preview shows page 1. Sign up to view the full content.

ECE3060: VLSI and Advanced Digital Design Fall 2006 Homework #9: due October 26, 4:30pm Show all your work to get full credit. 1. Consider the following binary function: F ( a,b,c,d ) = ad + a 0 c 0 d 0 + ab 0 cd + b 0 cd + ab 0 c 0 . (a) Represent F using the empty hypercube provided below. a b c d (b) Is F an irredundant cover? Explain the reason brieﬂy. (c) Is F minimal with respect to single implicant containment? Explain the reason brieﬂy. (d) Is F a prime cover? Explain the reason brieﬂy. 2. Consider the following binary function F ( a,b,c,d ) = a 0 b + c ( ab + d 0 ) + b c 0 . (a) Draw an ROBDD of F under the variable order [ b,a,d,c ]. (b) Using the “trimming method” (see the BDD lecture slide 15), show if
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: F contains an implicant ca b . Show the ROBDD of all intermediate cofactors. 3. Consider the following ROBDD built under the variable order [ c,d,a,b ]. c d d a a b 1 1 1 1 1 1 1 (a) Derive the binary function that this ROBDD represents. (b) Using the trimming method, show if an implicant ac d is included in the function. Show the ROBDD of all intermediate cofactors. (c) Using the trimming method, show if an implicant bcd is included in the function. Show the ROBDD of all intermediate cofactors....
View Full Document

## This note was uploaded on 02/19/2010 for the course ECE 3060 taught by Professor Shimmel during the Spring '07 term at Georgia Tech.

Ask a homework question - tutors are online