第163章 和大佬对线？（2/2）

“分立元件是自底向上设计，显化电路图，再手工布局————”

说到这里。

江阳微微停顿了片刻。

斟酌片刻后。

才继续道：“但集成电路自顶向下。”

“要先定义指令集。”

“再用布尔代数与逻辑方程，描述逻辑电路。”

听到这里。

正在思索的夏裴诉，忽然抬起头，目光微亮。

布尔代数，是计算机硬体的核心数学工具。

56年时，夏裴诉曾带领团队，用布尔方程优化过电子管计数电路。

所以对这个方案。

他还是比较认可的——至少能听懂。

江阳继续道：“但这还不够。”

“它们缺乏层级化描述能力，无法自动转化为电路。”

“还要结合，香农的开关电路理论+卡诺图+奎因算法，去继续突破。”

他最开始。

想说用hdl，也就是硬体描述语言来解决问题。

但话到临头。

losangeleslosag

才想起来，现在根本没有程式语言。

所以只能一路解释。

担心说的太多。

江阳想了想，补救道：“其实我在这里。”

“参考了华洛耕教授以前的成果。”

“他推导继电器电路的布尔表达式：输出=（a+b）c.d——”

在华洛耕的名字从江阳口中说出来时。

夏裴诉等人。

心中的怀疑，瞬间消散大半。

毕竟敢提华洛耕的名字。

就证明。

江阳至少有一定的把握。

念及此处。

夏裴诉举起手，道：“江教授，要不我们叫华教授过来，一起討论吧。”

“有他帮忙。”

“我们解决问题的把握，肯定会大上许多。”

他说完后。

包括半导体研究所在內的其他专家教授。

都跟著点头。

华洛耕是国际公认的数学大师。

数学方面。

找对方准没错。

当然。

这不是不相信江阳。

只不过术业有专攻。

在数学领域。

华国目前少有人能和华洛耕比肩，尤其是，计算机数学理论。

江阳轻咳一声，道：“不用麻烦，这个问题没那么复杂。”

“具体来说。”

“布尔代数是数学基础、卡诺图实现人工优化、奎因算法————。”

他拿起粉笔。

转过身，开始阐述原理。

没办法。

事情有些脱离掌控了。

数学这东西。

江阳是从来不碰的。

毕竟哪怕记性再好，记住的理论和公式再多。

该不会，你就是不会。

所以江阳平时学习，完全略过，有问题都用瑶光解决。

现在真把华洛耕叫来。

万一他写的东西，勾起这位数学大佬的兴趣，可不好应付！

不过，即便是这样。

江阳也並没有完全提供答案。

毕竟直接给的，也未必信。

不如给方法。

让他们自己去验证。

10分钟后。

江阳放下手中的粉笔。

与此同时。

夏裴诉等人看著黑板上的內容，终於有豁然开朗的感觉。

看到他们的表情。

——

江阳终於放下心。

然而。

losangeleslosag

还没等他一口气吐出来。

外面忽然有人“咚咚”的轻轻敲了敲门。

然后道：“江教授，所长，数学所的华洛耕教授来了。”

江阳：“

”

gt;