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

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

View Full Document Right Arrow Icon
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 briefly. (c) Is F minimal with respect to single implicant containment? Explain the reason briefly. (d) Is F a prime cover? Explain the reason briefly. 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
Background image of page 1
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