mux8.map.eqn

定点八位乘法器的原理图设计

--B41_inst1 is f_adder:inst73|h_adder:inst1|inst1
B41_inst1 = B4_inst1 $ (b[2] & a[2]);


--B3_inst is h_adder:inst66|inst
B3_inst = b[1] & b[0] & a[3] & a[2];


--inst25 is inst25
inst25 = b[3] & a[1];


--B3_inst1 is h_adder:inst66|inst1
B3_inst1 = b[1] & (a[2] $ (b[0] & a[3])) # !b[1] & b[0] & a[3];


--C2L1 is f_adder:inst72|inst6~5
C2L1 = b[1] & b[0] & a[2];


--C2L2 is f_adder:inst72|inst6~6
C2L2 = a[1] & (b[2] & (B3_inst1 # C2L1) # !b[2] & B3_inst1 & C2L1);


--C9L1 is f_adder:inst79|inst6~1
C9L1 = inst25 & (C2L2 # B41_inst1 $ B3_inst) # !inst25 & C2L2 & (B41_inst1 $ B3_inst);


--C61L1 is f_adder:inst86|inst6~1
C61L1 = inst32 & (C9L1 # B82L1 $ C3L2) # !inst32 & C9L1 & (B82L1 $ C3L2);


--C32L1 is f_adder:inst93|inst6~1
C32L1 = inst41 & (C61L1 # B24_inst1 $ C01L1) # !inst41 & C61L1 & (B24_inst1 $ C01L1);


--inst56 is inst56
inst56 = b[7] & a[0];


--B45_inst1 is f_adder:inst93|h_adder:inst1|inst1
B45_inst1 = C01L1 $ B24_inst1 $ (b[5] & a[1]);


--inst48 is inst48
inst48 = b[6] & a[0];


--B04_inst1 is f_adder:inst86|h_adder:inst1|inst1
B04_inst1 = C3L2 $ B82L1 $ (b[4] & a[1]);


--inst40 is inst40
inst40 = b[5] & a[0];


--B62L1 is f_adder:inst79|h_adder:inst1|inst1~13
B62L1 = inst17 $ B4_inst1 $ B3_inst $ inst25;


--inst39 is inst39
inst39 = b[4] & a[0];


--B21_inst1 is f_adder:inst72|h_adder:inst1|inst1
B21_inst1 = B3_inst1 $ (b[2] & a[1]);


--B2_inst is h_adder:inst65|inst
B2_inst = b[1] & b[0] & a[2] & a[1];


--inst24 is inst24
inst24 = b[3] & a[0];


--inst8 is inst8
inst8 = b[1] & a[0];


--inst1 is inst1
inst1 = b[0] & a[1];


--inst23 is inst23
inst23 = b[2] & a[0];


--B2_inst1 is h_adder:inst65|inst1
B2_inst1 = b[1] & (a[1] $ (b[0] & a[2])) # !b[1] & b[0] & a[2];


--C1L1 is f_adder:inst71|inst6~1
C1L1 = inst23 & (B2_inst1 # inst8 & inst1) # !inst23 & inst8 & inst1 & B2_inst1;


--C8L1 is f_adder:inst78|inst6~1
C8L1 = inst24 & (C1L1 # B21_inst1 $ B2_inst) # !inst24 & C1L1 & (B21_inst1 $ B2_inst);


--C51L1 is f_adder:inst85|inst6~1
C51L1 = inst39 & (C8L1 # B62L1 $ C2L2) # !inst39 & C8L1 & (B62L1 $ C2L2);


--C22L1 is f_adder:inst92|inst6~1
C22L1 = inst40 & (C51L1 # B04_inst1 $ C9L1) # !inst40 & C51L1 & (B04_inst1 $ C9L1);


--C92L1 is f_adder:inst99|inst6~1
C92L1 = inst48 & (C22L1 # B45_inst1 $ C61L1) # !inst48 & C22L1 & (B45_inst1 $ C61L1);


--C63L1 is f_adder:inst106|inst6~1
C63L1 = inst56 & (C92L1 # B86_inst1 $ C32L1) # !inst56 & C92L1 & (B86_inst1 $ C32L1);


--B07_inst1 is f_adder:inst101|h_adder:inst1|inst1
B07_inst1 = B64_inst1 $ C81L1 $ B85L2 $ inst50;


--inst57 is inst57
inst57 = b[7] & a[1];


--inst49 is inst49
inst49 = b[6] & a[1];


--C03L1 is f_adder:inst100|inst6~1
C03L1 = inst49 & (C32L1 # B65_inst1 $ C71L1) # !inst49 & C32L1 & (B65_inst1 $ C71L1);


--B18_inst1 is f_adder:inst107|h_adder:inst|inst1
B18_inst1 = C42L1 $ B07_inst1 $ inst57 $ C03L1;


--C73L1 is f_adder:inst107|inst6~1
C73L1 = inst57 & (C03L1 # B07_inst1 $ C42L1) # !inst57 & C03L1 & (B07_inst1 $ C42L1);


--B38_inst1 is f_adder:inst108|h_adder:inst|inst1
B38_inst1 = C52L1 $ B27_inst1 $ inst58 $ C13L1;


--C24L1 is f_adder:inst112|inst6~1
C24L1 = C73L1 & (B38_inst1 # C63L1 & B18_inst1) # !C73L1 & C63L1 & B18_inst1 & B38_inst1;


--C44L1 is f_adder:inst114|inst6~1
C44L1 = C83L1 & (C24L1 # B68_inst1 $ C23L1) # !C83L1 & C24L1 & (B68_inst1 $ C23L1);


--C54L1 is f_adder:inst115|inst6~1
C54L1 = C93L1 & (C44L1 # B88_inst1 $ C33L1) # !C93L1 & C44L1 & (B88_inst1 $ C33L1);


--C64L1 is f_adder:inst116|inst6~1
C64L1 = C04L1 & (C54L1 # B09_inst1 $ C43L1) # !C04L1 & C54L1 & (B09_inst1 $ C43L1);


--C74L1 is f_adder:inst117|inst6~1
C74L1 = C14L1 & (C64L1 # B49_inst1 $ C53L1) # !C14L1 & C64L1 & (B49_inst1 $ C53L1);


--C84L1 is f_adder:inst118|inst6~1
C84L1 = C34L1 & (C74L1 # b[7] & a[7]) # !C34L1 & b[7] & a[7] & C74L1;


--B301L1 is f_adder:inst118|h_adder:inst|inst1~11
B301L1 = C34L1 $ C74L1 $ (b[7] & a[7]);


--B101_inst1 is f_adder:inst117|h_adder:inst|inst1
B101_inst1 = C53L1 $ B49_inst1 $ C14L1 $ C64L1;


--B99_inst1 is f_adder:inst116|h_adder:inst|inst1
B99_inst1 = C43L1 $ B09_inst1 $ C04L1 $ C54L1;


--B79_inst1 is f_adder:inst115|h_adder:inst|inst1
B79_inst1 = C33L1 $ B88_inst1 $ C93L1 $ C44L1;


--B59_inst1 is f_adder:inst114|h_adder:inst|inst1
B59_inst1 = C23L1 $ B68_inst1 $ C83L1 $ C24L1;


--B19_inst1 is f_adder:inst112|h_adder:inst|inst1
B19_inst1 = C73L1 $ B38_inst1 $ (C63L1 & B18_inst1);


--B8_inst1 is h_adder:inst119|inst1
B8_inst1 = C63L1 $ B18_inst1;


--B97_inst1 is f_adder:inst106|h_adder:inst|inst1
B97_inst1 = B86_inst1 $ C32L1 $ inst56 $ C92L1;


--B56_inst1 is f_adder:inst99|h_adder:inst|inst1
B56_inst1 = C61L1 $ B45_inst1 $ inst48 $ C22L1;


--B15_inst1 is f_adder:inst92|h_adder:inst|inst1
B15_inst1 = C9L1 $ B04_inst1 $ inst40 $ C51L1;


--B73_inst1 is f_adder:inst85|h_adder:inst|inst1
B73_inst1 = C2L2 $ B62L1 $ inst39 $ C8L1;


--B32L1 is f_adder:inst78|h_adder:inst|inst1~17
B32L1 = B21_inst1 $ B2_inst $ inst24 $ C1L1;


--B9L1 is f_adder:inst71|h_adder:inst|inst1~62
B9L1 = inst23 $ B2_inst1 $ (inst8 & inst1);


--B1_inst1 is h_adder:inst64|inst1
B1_inst1 = b[1] & (a[0] $ (b[0] & a[1])) # !b[1] & b[0] & a[1];


--inst is inst
inst = b[0] & a[0];


--b[7] is b[7]
--operation mode is input

b[7] = INPUT();


--a[7] is a[7]
--operation mode is input

a[7] = INPUT();


--b[6] is b[6]
--operation mode is input

b[6] = INPUT();


--a[6] is a[6]
--operation mode is input

a[6] = INPUT();


--b[5] is b[5]
--operation mode is input

b[5] = INPUT();


--b[4] is b[4]
--operation mode is input

b[4] = INPUT();


--b[3] is b[3]
--operation mode is input

b[3] = INPUT();


--b[2] is b[2]
--operation mode is input

b[2] = INPUT();


--b[1] is b[1]
--operation mode is input

b[1] = INPUT();


--b[0] is b[0]
--operation mode is input

b[0] = INPUT();


--a[5] is a[5]
--operation mode is input

a[5] = INPUT();


--a[4] is a[4]
--operation mode is input

a[4] = INPUT();


--a[3] is a[3]
--operation mode is input

a[3] = INPUT();


--a[2] is a[2]
--operation mode is input

a[2] = INPUT();


--a[1] is a[1]
--operation mode is input

a[1] = INPUT();


--a[0] is a[0]
--operation mode is input

a[0] = INPUT();


--p[15] is p[15]
--operation mode is output

p[15] = OUTPUT(C84L1);


--p[14] is p[14]
--operation mode is output

p[14] = OUTPUT(B301L1);


--p[13] is p[13]
--operation mode is output

p[13] = OUTPUT(B101_inst1);


--p[12] is p[12]
--operation mode is output

p[12] = OUTPUT(B99_inst1);


--p[11] is p[11]
--operation mode is output

p[11] = OUTPUT(B79_inst1);


--p[10] is p[10]
--operation mode is output

p[10] = OUTPUT(B59_inst1);


--p[9] is p[9]
--operation mode is output

p[9] = OUTPUT(B19_inst1);


--p[8] is p[8]
--operation mode is output

p[8] = OUTPUT(B8_inst1);


--p[7] is p[7]
--operation mode is output

p[7] = OUTPUT(B97_inst1);


--p[6] is p[6]
--operation mode is output

p[6] = OUTPUT(B56_inst1);


--p[5] is p[5]
--operation mode is output

p[5] = OUTPUT(B15_inst1);


--p[4] is p[4]
--operation mode is output

p[4] = OUTPUT(B73_inst1);


--p[3] is p[3]
--operation mode is output

p[3] = OUTPUT(B32L1);


--p[2] is p[2]
--operation mode is output

p[2] = OUTPUT(B9L1);


--p[1] is p[1]
--operation mode is output

p[1] = OUTPUT(B1_inst1);


--p[0] is p[0]
--operation mode is output

p[0] = OUTPUT(inst);