跪求组合逻辑整理软件

adc008

小弟在设计过程中需要整理大量复杂的组合逻辑，手工推导耗时多且容易出错。请问有没有什么软件可以帮助整理组合逻辑电路，
能将逻辑运算式化简为最简逻辑表达式 O(∩_∩)O谢谢
例如：已知X=a+b，Y=a.b，则软件能自动将X.Y整理为X.Y=a.b。

[ 本帖最后由 adc008 于 2009-8-31 22:08 编辑 ]

ishock

你要描述得清楚一些，要不然大家帮不了你

blackAJ

Espresso

http://diamond.gem.valpo.edu/~dhart/ece110/espresso/tutorial.html

yuanpin318

I think sythesis tool can help you.

You can create a library, like:

You have xxx_and2(a, b, c)

then you use verilog code to describe it in the library.

after read by synthesis, it can help you simplify it.