[comp.lsi.cad] Berkeley MIS/SIS question

yu@cbnewsh.att.com (meng-lin.mark.yu) (06/19/91)

Task:
	I have a truth table, with 0-set, 1-set, and dont cares.  I'd like to
use MIS/SIS to do logic minimization, and hopefully get a good 
multilevel implementation.

Trouble:
	Contrary to  what described in the documents, MIS/SIS doesn't take
the don't cares (output) in BLIF format.  They did take them in the "pla"
format, yet I couldn't find a way/script that seems to use the dont cares.

Question:
	I can't believe that I couldn't use dont cares in such a
logic minimizer.   What did I do wrong?  How can I let the minimizer use
the don't cares (any format)?


Thanks in advance.

-Mark Yu
yu@vax135.att.com

ellen@opua.Berkeley.EDU (Ellen M. Sentovich) (06/23/91)

Which version of MIS are you using?  External don't cares in the
last release of MIS are specified as a separate network.  It is
described in the blif.tex document that is distributed with the
release.  So there is a way of specifying don't cares, but it is
not the same as don't cares in the PLA format.

		- Ellen


-- 
		  Ellen M. Sentovich
		  Dept of EECS, Rm. 205  #117
		  UC Berkeley
		  Berkeley, CA  94720
		  (415) 655-2039
		  ellen@ic.Berkeley.EDU