第164章 EDA项目启动

  华奥大厦十四层重新规划后，分成了东西两个大区。

  西边是新挂牌的“基础科学部”。

  办公区里摆着几十台高性能工作站，屏幕上显示着复杂的模型和数据曲线。

  这里下设四个实验室：数学实验室、物理与微电子实验室、信息与系统实验室，以及材料与能源实验室。

  招聘还在进行，工位没坐满。

  有一部分人还在学校写毕业论文，要等到明年才能正式入职。

  不过已经来了三十多个硕士博士，也有了些科研气氛。

  沈越已经把几个重要课题分了下去。

  东边是“基础软件部”。

  这里人更多，键盘声一直响着。

  这边的架构很清晰，分为两个核心项目组。

  林向东带队的操作系统组，以及新组建的EDA项目组。

  此时，沈越正领着刘方旭走出电梯。

  刘方旭身后跟着五个中年人，是他从原单位带来的。

  他们都拎着包，打量着这个现代化的办公环境，表情有些期待也有些审慎。

  沈越带着他们来到了EDA项目组的办公区。

  这里已经坐着三十多号人，根据职能分成了三个区域。

  一部分近期社招来的C++资深工程师，正在搭建软件基础框架。

  还有的测试团队，正在调试测试用例。

  另外就是核心算法组，是从基础科学部抽调来的。

  “大家先把手里的活停一下。”

  沈越拍了拍手。

  大家都停下工作，站起来看向沈越和刘方旭。

  “介绍一下。”沈越示意身边的刘方旭。

  “这位是刘方旭老师，国内EDA领域的顶尖专家。从今天起，他就是咱们EDA项目的总负责人。”

  掌声响起，刘方旭点了点头，也没摆架子，简单说了两句：“大家辛苦了。既然聚到一起，咱们就把活干好。”

  见完面，刘方旭让大家继续干活，和沈越走到旁边的会议桌。

  刘方旭从包里拿出一份报告，放在桌上。

  “沈总，既然人齐了，有个技术上的大麻烦我得先交个底。

  这几天我仔细研究了你之前给我的那份《关于深亚微米工艺下EDA布局布线引擎的概率学重构设想》。”

  刘方旭翻开报告，指着上面的一组数据：“你文档里的思路用概率统计解决0.13微米的信号干扰和时序收敛，理论上是可行的，也是目前唯一的出路。”

  他停了一下，接着说：“但理论归理论，落地归落地。

  要把数学模型变成能用的算法，难度太大。

  我们试着按文档里的思路写了一个Demo，但在处理百万级晶体管的概率分布时，计算量直接爆炸。

  现有的工程算法根本处理不了那么复杂的概率扬收敛，跑一次迭代要几十个小时，这在商业上没法用。”

  沈越听明白了。

  这就是典型的“理论正确，但解法不行”。

  刘方旭他们是工程专家，懂电路，懂物理规则，但面对这种复杂的数学优化问题，传统算法手段不够用了。

  沈越朝刚才坐在角落的研究人员指了指，对刘方旭说：“刘老师，给你介绍一下我们公司跨部门协作模式。”

  “跨部门协作？”刘方旭看了一眼那边。

  沈越解释道：“在咱们公司，基础科学部是独立的，平时他们搞理论研究。

  但现在EDA项目是攻坚期，所以把他们借调过来了，组成了一个核心算法组。

  他们隶属于隔壁的基础科学部，是数学实验室和物理实验室的研究员。”

  刘方旭听完，若有所思地点了点头：“这模式倒是新鲜。”

  沈越转头看向不远处那个核心算法组的区域。

  “郭凡，你过来一下。”

  一个男的听见，放下手里的资料走过来。

  他是刚入职不久的北大数院博士，主攻图论，也是这次借调过来的算法组组长。

  “沈总，刘老师。”郭凡打了个招呼。

  “郭凡，刘老师这边遇到了难题。

  我给的那套概率学重构方案，在工程落地的时候计算量爆炸，收敛太慢。你来听听。”

  刘方旭看着这个年轻人，把问题说了一遍：“简单说，我们按新架构建了概率拥堵模型，但变量太多。

  要在一个平面上同时优化几百万条线段的干扰概率，求一个最优解，现在的算法根本跑不动。”

  郭凡听完，并没有急着看电路图，而是问了几个关于约束函数性质的问题。

  他琢磨了一会儿，在纸上画了个示意图：“刘老师，我看了沈总的架构文档。那个思路在数学上其实是把一个离散的组合优化问题，转化成了一个连续的概率问题。

  你们之所以算得慢，是因为你们还在用传统的离散方法去求解连续问题。这就像是用尺子去量曲线，肯定慢。”

  “那你的意思是？”刘方旭愣了一下。

  “换个数学工具。”郭凡一边画一边解释。

  “不要硬算。我们可以引入拉格朗日松弛法，把那些复杂的硬约束松弛化放到目标函数里去。

  然后，利用凸优化的梯度下降法，在概率扬里快速找到一个近似最优解。”

  郭凡指着那个模型：“只要数学方法换了，计算复杂度能指数级下降。几分钟就能收敛。”

  刘方旭盯着纸上的数学推导，他是搞工程的，习惯了按物理规则硬算。

  “拉格朗日松弛法……”刘方旭轻声说。

  “如果真能用这个方法把时间压缩下来，那这套新架构就成了！”

  “能不能落地，还得试了才知道。”沈越继续说。

  “郭凡，你带着算法组，配合刘老师，把这个数学模型转成具体的算法逻辑。

  刘老师，你让工程组的人对接一下，把他们的算法写进系统里。”

  “没问题！”刘方旭这回很干脆。

  “郭博士，走，咱们去工位上细聊，我给你讲讲具体的工艺约束。”