月度存档: 11 月 2019

SAT、SMT、CFI

今天上午程序分析课讲了SAT、SMT及其求解器求解算法, 十分有趣。 下午漏洞课 …

继续阅读 »

今日课程情况

今天课程好像没讲什么东西。

修时序

今天大约修了一天时序, 最后给某条比较有挑战性的路径插入了一些寄存器(具体而言, …

继续阅读 »

路由转发表研制完成

今天, 我写好了路由转发表与软核交互数据的接口, 把Trie树的数据结构直接映射 …

继续阅读 »

开发路由表

经过仔细思考, 我决定开发32级流水的Trie树作为路由表, 大约能支持1024 …

继续阅读 »

组会

今天开了组会。

《中国特色社会主义理论与实践研究》第9周课程感想:开放与封闭

这节课的关键词是“被封锁”和“技术能力”。我们曾经认为1978年前,中国是封闭的 …

继续阅读 »

补作业

今天上课, 以及补作业。

《网络空间安全基础与前沿》课程大作业开题

今天晚上是《网络空间安全基础与前沿》课程大作业的开题报告会, 共16个组。我们组 …

继续阅读 »

开始开发路由转发表

今天开始写FPGA-NAT64的硬件路由转发表。考虑到本项目目标不是研制路由器, …

继续阅读 »

硬件NAT64硬件部分基本研制测试成功

我们的四万兆光口”线速”硬件NAT64的硬件流水线部分基 …

继续阅读 »

今日讲座

今天我参加了一个题为《知识产权法:法律与政策》的讲座, 感觉收获很多, 以前从来 …

继续阅读 »