C-style 下 __restrict__ 小试
Restricted Pointer概念在 C99 标准中被首次引入，用以缓建 C-style 编程语言存在的 别名 问题（Aliasing）。这个问题主要表现为，为了保证代码的功能正确性，会在一定程度上限制编译器优化代码的尺度，影响的优化包括代码重排（code re-ordering）、表达式消除（sub-expression elimination）等等。举个例子&em
Verilog HDL 仿真中的一些 Signed Trap
Verilog/System Verilog 一直以来被冠以 残缺语言 的称号。在许多的地方，由于仿真器/编译器实现的机制问题，导致很多地方的代码写法十分反直觉。尤其是对IEEE标准实现的不同，导致同样的代码在不同的工具编译后，会产生不同的输出结果。这些问题其实大大破坏了HDL生态的构建和同一，尤其是，会让人在无关紧要的地方浪费大量debug的时间 （╯‵□′）╯︵┴─┴
VCS_MX 与 Vivado IP库 仿真联调
最近有遇到使用VCS仿真带有Vivado IP的情况，一开始被组里老师劝退说vcs和vivado版本不容易适配，被推荐了ies。后来想想，其实还是可以自己试一试的，于是有了这篇学习记录。IP仿真库编译 Vivado提供TCL和GUI形式的库编译方式，2020版的vivado开始需要指定gcc的位置了，这其实也是课题组里服务器不能对较新版vcs编译出仿真
英语特色词句小记
平时墙外冲浪也好，阅读英文文献也好，时常会遇见一些独特的词句。他们有些继承自拉丁文的内涵，有些是需要一定的语言文化背景才好理解。这些词句初看确实给我的阅读体验造成了不小的困扰，不过在查阅相关背景之后，还是十分值得回味的，算是英语的语法糖了吧。De facto De facto (/deɪ ˈfæktoʊ, di-, də-/) 来自同形的拉丁文，表示一
在Colab上玩耍CUDA
最近终于等到一个比较好的时机可以摸一摸心心念念的CUDA了，不过手边唯一的一个NV显卡是游戏本上的1050Ti。为了保持 娱乐的纯洁性，游戏本上也只有Windows系统。课题组里的GPU服务器资源有点不好意思要，毕竟现在只是在玩一玩的阶段。最后只有考虑弄个外面的GPU云服务器了。 春节的时候，AutoDL弄了个“炼丹七天乐”，个人感觉体验不错，他们的服
仅以此文纪念手残的自己
最近实验室给的服务器坏了，Vivado环境没了，本来是计划在自己的Arch上装Vivado2020.2的，可是在解压的过程中一个手残，tar命令本来加-x参数解压，用成了-c打包，-f后面应该紧接着解压目标文件夹；这两个致命手残把珍惜的40G安装包给覆盖成了10kb的文件夹。 （╯‵□′）╯︵┴─┴ 最后只好放弃今天的安装计划了，只能说是手残的自己作死罢了...在此重新整理一下tar的使用：常用参