____________________________________________________________________________

CSEE E6861						      Handout #23c
Prof. Steven Nowick 					     March 4, 2016

____________________________________________________________________________
____________________________________________________________________________



                            Midterm CAD Project
   
        ===========================================================
        Multi-Cube Extraction:  Sample Benchmark and Format Example
        ===========================================================

----------------------------------------------------------------------------


RELEASE OF SAMPLE BENCHMARK + SOLUTION


(i) Input File:

#start of the file

.3
.8 

f1 = acg + bg + cd + fg 
f2 = ac + b + e + f
f3 = abc + bf + h

.e

You can assume the cubes in a function are ordered alphabetically from left
to right, and the variables within a cube are ordered alphabetically.

--------

(ii) print command 1 solution -- list of kernels:

1	1	ac + b + f
2	1	acg + bg + cd + fg
3	1	ag + d
4	2	ac + b + e + f
5	3	abc + bf + h
6	3	ac + f

Total Number of Kernels: 6

--------

(iii) print command 2 solution -- list of cubes:

1	b
2	d
3	e
4	f
5	h
6	ac
7	ag
8	bf
9	bg
10	cd
11	fg
12	abc
13	acg

Total Number of Cubes: 13

--------

(iv) print command 3 solution -- entire kernel-cube matrix:
			
					b	d	e	f	h	ac	ag	bf	bg	cd	fg	abc	acg
kernels			ID	R\C	1	2	3	4	5	6	7	8	9	10	11	12	13
---------------------------------------------------------------------------------------------------------------------------------------------
ac + b + f		1	1	1	0	0	1	0	1	0	0	0	0	0	0	0
acg + bg + cd + fg	1	2	0	0	0	0	0	0	0	0	1	1	1	0	1
ag + d			1	3	0	1	0	0	0	0	1	0	0	0	0	0	0
ac + b + e + f		2	4	1	0	1	1	0	1	0	0	0	0	0	0	0
abc + bf + h		3	5	0	0	0	0	1	0	0	1	0	0	0	1	0
ac + f			3	6	0	0	0	1	0	1	0	0	0	0	0	0	0
---------------------------------------------------------------------------------------------------------------------------------------------

NOTE: The format need not to be exactly the same, but has to explicitly show
all the information.

--------

(v) list all prime rectangles

({1,4},{1,4,6})
({1,4,6},{4,6})

Total Number of Prime Rectangles: 2

--------

(vi) list/evaluate all candidate prime rectangles

({1,4},{1,4,6})		ac + b + f	4
({1,4,6},{4,6})		ac + f		5

Total Number of Candidate Prime Rectangles: 2

--------

(vii) list best candidate prime rectangle(s)

Optimal Multi-Cube Extraction Choice(s):
({1,4,6},{4,6})		ac + f		5

--------

(viii) list updated logic network

.4
.9 

X = ac + f
f1 = Xg + bg + cd
f2 = X + b + e
f3 = Xb + h

.e


----------------------------------------------------------------------------