Home

『论文简读』RePlAce: Advancing Solution Quality and Routability Validation in Global Placement

写在前面 RePlAce 是 2019 年发表在 TCAD 的一篇论文,这篇论文作者之一是 VLSI CAD 界内著名的Andrew B. Kahng教授,并且现在已经集成到开源芯片设计工具 OpenROAD 中。 标题:RePlAce: Advancing Solution Quality and Routability Validation in Global Placement 作者:Chung-Kuan Cheng, Andrew B. Kahng, Ilgweon Kang, and Lutong Wang 机构:UCSD 发表会议:TCAD 2019 链接:https://ieeexplore.ieee.org/document/8418790 代码:http...

Read more

2022年终总结 You Only Live Once

前言 新年已经过去几天了,在回北京的高铁上写下了这片年终总结。白驹过隙,三百六十五天转眼过去,这一年来过得跌跌撞撞,但也还是获得了一些成长。年末回家后,我突然意识到自己或许可以做出一些改变,养成定期写总结的习惯,好好记录一下自己的生活。同时也可以写一下关于自己对生活的思考,希望能够对大家能够有所启发。 首先进行一个简单的自我介绍。我北大2017本,2021本校直博,研究方向是机器学习辅助设计自动化(ML4CAD),同时也对生成式机器学习、机器学习系统、概率编程有着浓厚的研究兴趣。如果有做相关方向的的,欢迎交流指教,希望向大家学习。 本科经历 既然是第一次在个人博客上写年终总结,先回顾一下自己的本科经历。2017年,我通过竞赛考入北大信科。大一比较难的课程主要是数学课,计算机类课...

Read more

Poission In Dreamplace

#!https://zhuanlan.zhihu.com/p/579688074 讨论DREAMPlace中的静电场求解算法 由于知乎上部分markdown语法转化过程出现了错误,本文中的部分公式和引用可能无法正常显示,建议在Magic Mai’s Blog: 讨论DREAMPlace中的静电场求解算法上阅读。 问题描述 在DREAMPlace (Yibo Lin, DAC’19)这篇文章中,作者将器件近似类比为带电体,建立了静电场模型作为器件的密度模型,并使用了谱方法来求解静电场。当前,基于静电场系统的全局布局算法在学术界布局算法中获得了SOTA的性能和效率,其中关于如何高效计算静电场的电场强度和电势能在论文里面只是进行了简单的描述。最近组里来的本科实习生在研究这方面...

Read more

BlockChain ETH

ETH vs. BTC   ETH BTC 出块速度 ~15s ~10min 共识机制 GHOST 最长合法链 证明方式 工作量证明(Proof of Work) → (正在逐步转向) 权益证明(Proof of Stake) 工作量证明 挖矿设备 高内存(专门这么设计, 尽量不使用专用矿机) 高计算量(适合ASIC) 账户 account-based l...

Read more

BlockChain BTC

最近被同学蛊惑了区块链, 于是看一些关于北京大学肖臻老师的《区块链技术与应用》这门课. 肖老师讲得挺好, 这里记录一些BTC部分的笔记, 如果感觉笔记格式笔记乱的话可以看原版notion的笔记. BTC协议 挖矿实际在做的, 找到一个noise, 使得$Hash(block\ header, noise) \leq threshold$. 哈希指针 (Hash Pointer):除了指明存储位置,还对存储内容进行加密,保证内容没有被篡改. 「例」区块链是使用哈希指针链接的. 对于单个节点而言, 我们可以只保留最近的若干个区块和tail哈希指针; 这样当我们问其他节点要前面的区块, 可以防止其他人篡改. ...

Read more

A Guide to Homomorphic Encryption Library SEAL

A Guide to Homomorphic Encryption Library SEAL Resource Intro to Homomorphic Encryption, Credit to Microsoft Research Overview Number of message slots: $N$ in BFV, $\frac{N}{2}$ in CKKS(in later section) The more message slots you have, the more parallelism you could achieved!!! BFV Algorithm Polynomials BFV ...

Read more

Efficient Toolkits

toolkit command-line environment tmux: tmux is a terminal multiplexer: it enables a number of terminals to be created, accessed, and controlled from a single screen. tmux may be detached from a screen and continue running in the background, then later reattached. .tmux: Pretty & versatile tmux configuration tmux-c...

Read more

Quantum Computing Primer

Quantum Computing Primer [TOC] Foundation of Quantum Computing Qubit Representation 单个量子比特(qubit)的状态可以在复数域\(\mathbb{C}\)上二维希尔伯特空间(Hilbert space)中表示, 不妨用狄拉克符号\(\vert\psi\rangle\)表示, 该符号称为右矢(ket). 希尔伯特空间是一个完备的内积空间, 由内积引申可以得到正交, 模长, 角度等概念. 在这个复数域\(\mathbb{C}\)上二维希尔伯特空间中总可以选择两个完备的正交归一基, \(\vert0\rangle\) 和 \(\vert1\rangle\) 线性表出任意一个向量\(\vert\ps...

Read more