倍福文学

手机浏览器扫描二维码访问

第503章 数据库（第2页）

“现在？”

“对，现在！”

吕辰有点无语，不过想想也对，的确应该去问清楚，正好也顺道给梁先生送个火腿。

和家里交待一声，推出三轮车，装上一只火腿，又拿了些蔬菜鸡蛋。

一路顶几冒雪，先来到清华园，往梁先生家送了火腿，这才来到燕园。

陈教授是北大数学系的，搞拓扑，在星河计划理论组里负责指令集设计和数据结构。

吕辰把车骑进陈教授家楼下，和诸葛彪提着蔬菜鸡蛋上了楼。

敲门之后，陈师母开门出来。

“师母好，我们是来给教授拜年。”

二人把礼物递过去，陈师母接过菜篮子，翻看下面的菠菜和蒜苗，惊讶道：“腊月里还能见到这个？还带着水珠呢！”

吕辰笑着说：“自家暖棚种的，不值什么。”

陈教授从书房走出来，摘下老花镜，看见二人，乐了：“小吕、诸葛。来，坐坐坐。”

寒暄几句，陈师母去厨房张罗。

屋里安静下来，只听得见炉子上水壶咕嘟咕嘟的声音。

陈教授端起茶杯，看着二人：“你们来得正好，标准单元库的事，我让研究生想了几个方案，年后想找你们一起讨论。”

吕辰接过茶杯：“教授，我们今天来，就是想请教这个事。我们集成电路实验室是分布式系统的用户，有些地方没想明白。”

“你说。”

吕辰看了看诸葛彪。

诸葛彪会意，从兜里掏出个小本子，翻开一页。

“陈老师，我在琢磨一个事。标准单元库有四百多个单元，每个单元有逻辑图、版图、仿真模型、测试向量。这些东西，现在都记在纸面上，手册、图纸、卡片。工程师画图的时候，翻手册查参数，翻图纸看布局，翻卡片找测试数据。”

陈教授点点头。

诸葛彪继续说：“以后上分布式系统了，用计算机辅助设计。我就琢磨着，这些数据是要存在存储柜里给计算机调用的。工程师坐在终端前面，敲几个命令，就能查到某个单元的参数，就能调出它的版图，就能跑仿真……”

陈教授放下茶杯：“的确是这样，你遇到什么问题了？”

诸葛彪笑了笑：“问题就是——这些数据怎么存？”

他从本子里抽出一张纸，上面画了一个简单的增值表。

“您看，一个与非门单元，它的逻辑功能可以用真值表描述：输入a、输入b、输出y。四个组合，每个组合对应一个输出。这个真值表，在纸面上很好写，四行两列。但存在计算机里呢？怎么表示？是存成一张表，还是存成一组数？怎么让计算机知道‘这是一个与非门’，而不是一个‘与门’或者‘或非门’？”