Ejemplo n.º 1
0
#	output_eqn[x].dotPrint2()
output_eqn[0].dotPrint2()

output_eqn[0].makeQRBDD()


#------- Output file ---------

outputContent = ".model " + f.name.split('/')[-1].split('.')[0] + '_k_feasible\n.inputs'
for inVar in range(0,inputs):
	outputContent += " x%s" %inVar
outputContent += "\n.outputs"
for outVar in range(0,outputs):
	outputContent += " y%s" %outVar

for module in range(0,outputs):
	outputContent += "\n.names"
	for inVar in range(0,inputs):			# must be adjusted to the remaining input parameters 
	        outputContent += " x%s" %inVar
	outputContent += " y%s\n" %module + bdd.bddToBlif(output_eqn[module]) 
outputContent += "\n.end"

	
#print bdd.bddToBlif(output_eqn[0])

outputFile = open(f.name.split('.')[0] + '_k_feasible.blif', 'w') 
print >>outputFile, outputContent
outputFile.close()

print "\n>>> Saved Blif Output to " + outputFile.name
Ejemplo n.º 2
0
#bdd.Node(variable, TrueNode, FalseNode)

n1=bdd.Node('x1', bdd.Node.T, bdd.Node.F)
n2=bdd.Node('x1', bdd.Node.T, bdd.Node.F)

n3=bdd.Node('x1', bdd.Node.T, bdd.Node.F)
n4=bdd.Node('x1', bdd.Node.F, bdd.Node.F)


n5 = bdd.Node('x2', n1,n2)
n6 = bdd.Node('x2', n3,n4)

n7 = bdd.Node('x3', n5, n6)



#print n1
#print n2
#print n4

n7.makeQRBDD()
n7.makeQRBDD()
print "\n###############################\n\nBLIF representation:"
print bdd.bddToBlif(n7)
n7.dotPrint2()


#gen=bdd.createTree(4)

#gen.dotPrint2()