0%

趁着DAC赶完 学期结束的空闲期做了些之前一直想做的,比如switch的健身环,重拾篮球和读书。

准确的来说,是读历史。再准确来说,是读楚汉争霸和两晋的历史。

读楚汉是很早就有的想法了,虽然现在已没有了英雄梦,但是对于英雄的崇拜还是源于基因的。从王侯将相宁有种乎到人为刀俎我为鱼肉,那段历史就和我喜欢的三国一样,也是英雄辈出的时代,因此很早就想知道当年的汉初三杰是什么水平,力拔山兮的霸王怎样霸气,最后又何以落得乌江自刎的下场。

这段历史现在回味起来,颇有三国最精彩的那段:官渡到五丈原的翻版意味,高潮迭起,英雄辈出,就算当看个热闹也是很不错的故事。

不过除了看个热闹,也是有几个点让人印象深刻。(吐槽一下自己的文字,现在真有点人不像人鬼不像鬼的意思,中文写的也没当年引经据典那味,英文也是一塌糊涂,芝麻没捡着,西瓜倒是丢的差不多了。譬如这个印象深刻,我中文顶多在蹦出个震撼,卧槽之类的俗语,英文就更简单了,一个impressive对应所有同类词。实在是惭愧。)

一个是知人善任和知遇之恩。古代的儒家思想是很讲究知遇之恩的,很小就听过报君黄金台上意,当时只觉着这人豪气,现在也有点感同身受的意味,当你自己都怀疑自己,快要放弃自己的时候,有个人看中你真是莫大的荣幸与幸运,不过过去那些天纵英才们的知遇之恩和我这凡夫俗子还是不大一样,人家是有真才实学报国无门,我的真才实学还在花苞里还未萌芽呢!国士无双如韩信,也差点未得赏识而埋没一生,我们这种庸人不得赏识不是很正常的吗,况且就算牛如韩信,最终也不是个完美结局。有时候真不用强求太多东西,轮到你了你好好选,如王猛择主一样,没轮到你也不要怨天尤人,哭天呛地,有什么需要争的时候就变味了,挣到手了香不香也不一定了。不过如果轮到你给你机会了,就要明了这份机会的沉重,所谓君以国士待我,我必国士报之。

我现在只需要明白个知遇之恩,未来也许也用不上知人善任。不过还是得感慨,驭人识人之术真是作为领导的第一属性。就算你西楚霸王大小七十余战战无不胜又怎样呢,刘邦被你好几次打的抛妻弃子又怎样呢,比不上刘邦会识人会用人。。。而且不要脸啊。作为领导,或者说教授,很忌讳的一点就是刚愎自用,毕竟当领导久了,听得到的,听得多的都是吹捧,加之能当上领导水平肯定是有的,所以很自然的容易高估自己水平,低估别人水平,也不容易听得进别人的逆言。(关于这一点韩信同学是占了很多次大便宜的)。以后要是有信当了教授,希望自己不要成为一个给人标签化的“领导”,随便给学生贴上“不靠谱“的标签,轻易否决他的各种意见,止不准看歪的是我,结果被对面的韩信把idea”偷走“了。

不像三国如电视剧般冗长的故事线,楚汉战争应该算作电影,从项羽称盟主到彻底覆灭也就短短五年,因此整个楚汉争霸历史更多的算作一个战争史,里面的游击战广积粮什么的,虽然我也看得起劲,热血沸腾,但充其量也就看个热闹,真正研究这个的是要去打仗的同学,比如当年的毛主席?两晋的历史就截然相反,不是一部战争大片,非得灌个名的话,应该叫做。。权力伦理电视剧?

里面由于礼仪崩坏导致的各种毁三观的事件就不说了,幸好我生在一个讲究社会主义核心价值观的年代。(seriously)。我感触最深的还是苻坚吧。之前其实并不了解这人,甚至对王猛也知之甚少,只知道一个肥水之战,草木皆兵。但读了这段历史才感慨这人,也许是和其他变态的鲜明对比,苻坚的出场就是带着主角光环,正义使者身份出道的。百姓安乐,政治清平,任人唯贤,可以说就像从前故事里的那个真命天子一样:好像这个人就是受天命来当皇帝的。就像一般故事里,刘邦会遇上萧何,朱元璋会碰到刘伯温,苻坚也碰到了统率智力拉满的王猛,两人如鱼得水,北方评定,再定蜀汉(有点西晋的味道),可惜还没等到评定江南,王猛去世,苻坚没听王猛遗言先铲羌、胡,非急着做大一统皇帝。这里感慨一下,苻坚什么都好(一些私人性取向另谈),z就是自己水平不够,另外就是太过”儒家“,主动投降的拉去斩了,战到最后一刻或者背叛自己的反倒高官厚禄。。。

淝水一战输的也很典型。典型的多打少惨败。看了这么多多打少,无非就两种,物理打击(水淹火计)什么的,或者士气战,明明统一军心吐个口水就能赢,总是会有各种原因士气崩了。比如苻坚这个。。。对面渡河不击(反观刘邦韩信就不跟你讲这些了,只要你上我道 渡河了, 我必阴你),反而还退军百里给对方布阵,结果对面的假降将在自家后方传播谣言大军败退辣,然后士气就崩了。看的时候真的是又气又恨,不禁感慨要统一全国是得怎样的天才才能做到。所以想想失败,哪怕是再也不能卷土重来的那种一败涂地,也不是什么大不了的事,人生在世,和为成功何为失败,人各有言,想要做到一些”大事“也不是想做、看起来能做就一定做的成的,而做不成就算失败么?也不见得吧,至少在我看来苻坚不是称职的领袖,但也担的上一个问心无愧之称了。想想就算是诸葛亮,也是长叹于长坂坡呢。

历史长河,说到底还是人性的故事,精彩而又发人深省,这也是历史的魅力所在吧!

This is a selected academic genealogy of the electronic design automation (EDA), VLSI CAD, testing, and adjacent computer-engineering communities. It began as a tree compiled by my supervisor and me, with particular attention to Chinese scholars, and has since been expanded using university biographies, dissertation archives, and faculty alumni pages.

Explore the interactive EDA Family Tree The radial view makes advisor–student branches, universities, and academic generations easier to follow. Open the visualization →

How to read the tree. Indentation denotes a doctoral-advisor relationship unless the entry explicitly says M.Phil., co-advised, or postdoc. The institution and year before the first arrow are the degree institution and degree year; later institutions summarize the scholar’s career path. The tree is necessarily selective: EDA has many overlapping roots, co-advised degrees, and researchers who bridge multiple subfields.

Update 2026.08. Expanded the tree beyond the Wei Li branch; added the Edward McCluskey, Donald Pederson/A. Richard Newton, Robert Brayton/Sharad Malik, and major testing/DFT lineages; refreshed descendants of Jason Cong, David Pan, Bei Yu, Kaushik Roy, Sanjit Seshia, Ronald Rohrer/Lawrence Pileggi, and Andrew Kahng; and corrected several older attributions. This revision favors substantial academic branches with verified faculty descendants over isolated lists of famous researchers. In particular, Andrew Kahng is placed under T. C. Hu, and Dennis Sylvester under Chenming Hu. A scholar can appear twice when two independently useful lineages converge.

C. L. Liu lineage

Edward J. McCluskey lineage: testing and dependable computing

Berkeley CAD lineages

Donald O. Pederson → A. Richard Newton

Robert K. Brayton

Ernest S. Kuh

Chenming Hu

Alberto Sangiovanni-Vincentelli

T. C. Hu

Carnegie Mellon and Berkeley formal-methods lineage

John P. Hayes lineage: testing, diagnosis, and dependable systems

Other established EDA lineages

  • Marilyn C. Wolf (Stanford Ph.D. ’84 → Princeton → Georgia Tech → Nebraska)

    • Yuan Xie (Princeton Ph.D. ’02 → IBM → Penn State → UCSB)
      • Guangyu Sun (Penn State Ph.D. ’11 → Peking University)
      • Jishen Zhao (Penn State Ph.D. ’14 → HP Labs → UC San Diego)
    • Jiang Xu (Princeton Ph.D. ’05 → HKUST)
      • Yaoyao Ye (HKUST Ph.D. ’13 → Huawei → Shanghai Jiao Tong)
      • Weichen Liu (HKUST Ph.D. → Chongqing University → NTU Singapore)
  • Sachin S. Sapatnekar (UIUC Ph.D. ’92 → Iowa State → Minnesota)

Notes and corrections

  • This is an academic genealogy, not a ranking or a complete list of EDA researchers.
  • Degree years and placements can change as public biographies are updated. Please send corrections to weili3@andrew.cmu.edu.
  • Dennis Sylvester’s dissertation advisor was Chenming Hu. Kurt Keutzer’s own alumni page describes Sylvester affectionately as part of his group while explicitly noting that Hu was the dissertation advisor; the formal tree therefore places Sylvester under Hu.
  • Andrew Kahng’s doctoral advisor was T. C. Hu, so the Kahng branch has been moved from the Ernest Kuh branch.
  • The Wei Li node appears in both the Bei Yu and Shawn Blanton branches because the two paths document different degrees. His CUHK M.Phil. was co-advised by Bei Yu and Michael R. Lyu; his Carnegie Mellon Ph.D. was co-advised by Shawn Blanton and José M. F. Moura.
  • All twenty scholars in the two Hall-of-Fame lists supplied in August 2026 were checked for doctoral descendants in academia. Melvin Breuer, Vishwani Agrawal, Janusz Rajski, Yervant Zorian, Miron Abramovici, Sudhakar Reddy, and Mary Jane Irwin are not shown merely to satisfy a checklist: the publicly verifiable lines found for them are isolated or end after only a few people without a continuing academic branch. Industrial mentorship and co-authorship are likewise not converted into doctoral edges without thesis evidence.

Principal verification sources

This is a selected academic genealogy of the electronic design automation (EDA), VLSI CAD, testing, and adjacent computer-engineering communities. It began as a tree compiled by my supervisor and me, with particular attention to Chinese scholars, and has since been expanded using university biographies, dissertation archives, and faculty alumni pages.

Explore the interactive EDA Family Tree The radial view makes advisor–student branches, universities, and academic generations easier to follow. Open the visualization →

How to read the tree. Indentation denotes a doctoral-advisor relationship unless the entry explicitly says M.Phil., co-advised, or postdoc. The institution and year before the first arrow are the degree institution and degree year; later institutions summarize the scholar’s career path. The tree is necessarily selective: EDA has many overlapping roots, co-advised degrees, and researchers who bridge multiple subfields.

Update 2026.08. Expanded the tree beyond the Wei Li branch; added the Edward McCluskey, Donald Pederson/A. Richard Newton, Robert Brayton/Sharad Malik, and major testing/DFT lineages; refreshed descendants of Jason Cong, David Pan, Bei Yu, Kaushik Roy, Sanjit Seshia, Ronald Rohrer/Lawrence Pileggi, and Andrew Kahng; and corrected several older attributions. This revision favors substantial academic branches with verified faculty descendants over isolated lists of famous researchers. In particular, Andrew Kahng is placed under T. C. Hu, and Dennis Sylvester under Chenming Hu. A scholar can appear twice when two independently useful lineages converge.

C. L. Liu lineage

Edward J. McCluskey lineage: testing and dependable computing

Berkeley CAD lineages

Donald O. Pederson → A. Richard Newton

Robert K. Brayton

Ernest S. Kuh

Chenming Hu

Alberto Sangiovanni-Vincentelli

T. C. Hu

Carnegie Mellon and Berkeley formal-methods lineage

John P. Hayes lineage: testing, diagnosis, and dependable systems

Other established EDA lineages

  • Marilyn C. Wolf (Stanford Ph.D. ’84 → Princeton → Georgia Tech → Nebraska)

    • Yuan Xie (Princeton Ph.D. ’02 → IBM → Penn State → UCSB)
      • Guangyu Sun (Penn State Ph.D. ’11 → Peking University)
      • Jishen Zhao (Penn State Ph.D. ’14 → HP Labs → UC San Diego)
    • Jiang Xu (Princeton Ph.D. ’05 → HKUST)
      • Yaoyao Ye (HKUST Ph.D. ’13 → Huawei → Shanghai Jiao Tong)
      • Weichen Liu (HKUST Ph.D. → Chongqing University → NTU Singapore)
  • Sachin S. Sapatnekar (UIUC Ph.D. ’92 → Iowa State → Minnesota)

Notes and corrections

  • This is an academic genealogy, not a ranking or a complete list of EDA researchers.
  • Degree years and placements can change as public biographies are updated. Please send corrections to weili3@andrew.cmu.edu.
  • Dennis Sylvester’s dissertation advisor was Chenming Hu. Kurt Keutzer’s own alumni page describes Sylvester affectionately as part of his group while explicitly noting that Hu was the dissertation advisor; the formal tree therefore places Sylvester under Hu.
  • Andrew Kahng’s doctoral advisor was T. C. Hu, so the Kahng branch has been moved from the Ernest Kuh branch.
  • The Wei Li node appears in both the Bei Yu and Shawn Blanton branches because the two paths document different degrees. His CUHK M.Phil. was co-advised by Bei Yu and Michael R. Lyu; his Carnegie Mellon Ph.D. was co-advised by Shawn Blanton and José M. F. Moura.
  • All twenty scholars in the two Hall-of-Fame lists supplied in August 2026 were checked for doctoral descendants in academia. Melvin Breuer, Vishwani Agrawal, Janusz Rajski, Yervant Zorian, Miron Abramovici, Sudhakar Reddy, and Mary Jane Irwin are not shown merely to satisfy a checklist: the publicly verifiable lines found for them are isolated or end after only a few people without a continuing academic branch. Industrial mentorship and co-authorship are likewise not converted into doctoral edges without thesis evidence.

Principal verification sources

OpenMPL 也算是告了一段落,回过头去看自己写的code的时候,就像父母看着自己那不成器但是好歹戴上了博士帽的孩子一样:虽然臭了点但毕竟也是自己亲养的啊。

这种很engineering的活对我来说确实有很多个难熬的夜晚,对着layout的真实color(万幸我还有这么个label)和自己孩子的color 一个图一个图的看,到底是哪出问题了呢。。。写dancing link的时候也是一层一层(depth)的去看,这层怎么就到这个点了。。。

但终究还是过来了。而且还阴差阳错发现了之前的理论问题,propose了一个新的alg,算是一个双胞胎了哈哈。真有点塞翁失马焉知非福的意思,也让我更加笃信不要去争去在意外在的事物,船到桥头它自然会直,千金散尽我们也总有办法,这就是人的魅力才是鸭。

说到MPL本身,这个topic在ILP的统治下也确实很难有新的突破:一个算法已经在可以接受的时间里面能找到最优解了,那么你能突破的只有runtime了。不过可以遇见的解决方法就是GCN吧?毕竟GPU加成下的GCN runtime上肯定可以吊打ILP/DL,不过话说回来,倘若GCN成功的nearly optimal解决了MPL,那可以发的就不仅仅是DAC,而是AI甚至数学的顶会了,毕竟MPL是进阶版的coloring problem。

附上Yibo的official release,舒服了。

We are pleased to announce that OpenMPL 2.0 has been release. Please checkout our Github repository and ASICON slides.

Github: https://github.com/limbo018/OpenMPL
Slides: http://yibolin.com/publicati…/…/DFM_ASICON2019_Li.slides.pdf

OpenMPL is an open-source layout decomposition tool for multiple patterning lithography. You are welcome to try it out!

This release includes many new features.

* Triple and quadruple patterning decomposition
* Decomposition of contact and metal layers
* Stitch insertion
* Density balancing
* State-of-the-art algorithms: Backtrack, ILP, SDP, Dancing Links
* Multiple levels of graph simplifications
* Multithreading

RNG还是输了,昨晚看着一点点的崩塌,一直到结束都不敢相信。

去年是带着美好的梦去的,然后就像呵护了一年的魔盒被打碎了。

今年没有什么希冀,本来赛前就一直告诉自己我软泥怪打酱油的。

但是输的时候,还是意难平。

也无需安慰自己什么这就是竞技体育的魅力。也许没机会看小狗继续秀了。anyway,生活也要继续,加油吧。

今天固态到了,于是想着把系统装到固态里面,可谓一波三折,装了许多linux发行版,都记录下把

ubuntu18

Gnome: 还是有cpu占用率 50%+的bug,

Manjaro KDE

漂亮是漂亮,但是各种常用按键都要自己设定???(包括但不限于workspace切换,快捷打开terminal)

Manjaro xKDE(忘名字了)

高分屏极度不友好。醉了。

Manjaro clinnama

高分屏友好 按键可以设定 算是比较满意的了。。但是dock不方便实现,也是醉了。

Deepin

确实挺漂亮的。但是没有wifi(所有debian based通病)+ 不方便安装显卡驱动(官方的不可以安装,可能是proxy问题?)

阶段性总结

一天下来还是没有满意的,明天打算尝试 manjaro + gnome + macOS ,不行就manjaro + deepin

总之几个痛点是一定要满足的

  • WIFI(不然学校的proxy实在是太。。。)
  • 高分屏适配
  • workspace,terminal等快捷键
  • 其他的比如dock这种美观的就没办法了。哎做人真难,谁让我有强迫症呢

折腾之终章

这是两个月后的总结:

windows 万岁。

另外附一个win10 修改全局字体为苹方的链接吧 (苹方实在是太适合高分屏了)

戳我

中大CS的office台式是需要proxy才可以连接外网。但是ubuntu现在apt默认不是用的全局proxy,现在记下这些操作,以方便后人。

首先添加proxy到apt config

1
sudo vim /etc/apt/apt.conf.d/proxy.conf

在新建prox.conf中添加CUHK CSE proxy:

1
2
3
#注意一定是http://proxy...而不是proxy..
Acquire::http::Proxy "http://proxy.cse.cuhk.edu.hk:8000";
Acquire::https::Proxy "http://proxy.cse.cuhk.edu.hk:8000";

接着实际添加源的时候

1
sudo -E add-apt-repository ppa:xxx

-E: 保留当前的环境变量而不被重置(不加的话 http_proxy这些都不可以了)

回退版本

1
git reset --hard HEAD^

HEAD^ 上一个版本。

HAED^^ 上两个版本

HEAD~100 上100个版本

查看历史命令

1
git reflog

Workflow

git-repo

撤销还未添加到stage(git add)的修改

1
git checkout -- file

该命令实际上是 用版本库里的版本替换工作区的版本(比如工作区误删,同样可以git checkout)

撤销已经添加到stage(git add)的修改

1
git reset HEAD file

查看远程库的信息

1
git remote -v

Git pull issues

  • This is no tracking information for the current branch

    1
    git branch --set-upstream-to=origin/dev dev
  • conflicts

GNN

$$
H^{(k+1)} = activation(D^{-1/2}(A+I)D^{1/2}H^kW) \
A = adjacent \ matrix \
D = degree \ matrix \
H^0 = features \ of \ graph \ nodes \
W = trainable \ variables
$$

Reason:

$(A+I)H$ represents that the feature of one node is the sum of features of node itself (plus $I$) and its adjacent nodes( $A$)

$D^{-1/2}(A+I)D^{1/2}$ = normalized ($D^-1$)

GIN

This is one of my favourite papers.

ref: How powerful are graph neural networks (ICLR2019)

Lemma 2. Let G1 and G2 be any two non-isomorphic graphs. If a graph neural network A : G → $R^d$ maps G1 and G2 to different embeddings, the Weisfeiler-Lehman graph isomorphism test also decides
G1 and G2 are not isomorphic.

lemma 2 means that upper bound of GNN equals to 1-dim WL test

Theorem 3. Let A : G → $R^d$ be a GNN. With a sufficient number of GNN layers, A maps any
graphs G1 and G2 that the Weisfeiler-Lehman test of isomorphism decides as non-isomorphic, to
different embeddings if the following conditions hold: all of operations in GNN (aggregate, combine and readout are injective(单射))

based on theorem 3, we can propose a simplest GNN model : GIN, where aggeregate = sum, combine = (1+ $\alpha$) h + aggeragate , ($alpha$ is simply a pre-defined scalar)

GMN

Graph match

(input G1 G2, output similarity score)

Only difference with GNN: when we combine information, we will consider one more term:

$\mu_{j\rightarrow i} = a_{j\rightarrow i}(h_{i}^{(t)}- h_{j}^{(t)})$

i,j different graph, $a_{j\rightarrow i}$ is the softmax value of vector difference between hi and hj.

Reviews on deep learning w. discrete features

ref:

https://mp.weixin.qq.com/s/HhrnCKUvNHnZDgoGF52Vuw

Properties of Deep learning

  • Super memorizer: easily fit a random labeling
  • super energy sucker
  • overly parameterized ( compression while maintaining similar accuracy is easy )
  • 先略后详(learning process)
    • from easy to difficult
    • from smooth to noisy
  • Robust to massive label noise (compared with MLP, Perceptron)

Learning with more knowledge(which can be discrete features)

Input

  • Multi-modal inputs
  • synthesized inputs
  • others

Output

  • Multi-task learning(more outputs?)
  • more representations
  • more priors