分享记录一下工作中遇到的相关知识

1. VCS起效的时间是time 0,VC formal起效的时间是reset完成，reset完成的时候，其他信号不做特别约束的情况是，会是从x态到0或者1，这样会误引入这个信号的下降沿或者上升沿，个别不健壮的assertion写法可能会fail。

但是目前的情况是一个芯片规模非常大，导致对整个芯片进行gate仿真不现实，这种情况下可以使用xprop，这是xprop 仿真模型的用处所在。3. xprop的功能就是提前在rtl仿真的过程中可以提前发现gate-level仿真中的一些bug。在芯片前端开发的后期，验证工程师需要进行xprop仿真验证，之前我只是简单的打开xprop的功能，去回归一些case看会不会fail并进行debug。1. xprop 仿真适用于前期的rtl仿真，对于gate-level仿真是没有任何作用的(下面的例子我会讲到)

在使用VCS进行仿真时，工程师们常常会面对一个极为重要且充满挑战的问题——X态传播行为。X态信号代表了未知或不确定的逻辑值（或者高阻Z态），可能会在设计中引入意想不到的问题，因此如何处理X态成为了芯片设计与仿真中的一个关键议题。VCS提供了仿真选项-xprop=vmerge/tmerge/xmerge来处理和扩散X态传播问题。本文将深入探讨仿真中的X态传播行为，着重于不同仿真选项对X态传播的影响，以及应对X态隐匿和扩散的一些方法。进一步查询可以明确，不加入-xprop选项时默认的仿真行为是vmerge。

断言作为声明被执行的验证函数的断言语句出现。

Meld 是我处理代码和数据文件的基本工具之一。它是一个图形化的 diff 工具，因此，如果你曾经使用过diff命令并难以理解输出，那么可以为你提供帮助。Meld 是跨平台的，它有一个使用包管理器的。尽管它在 macOS 上不受官方支持，但有有关，请参见 Meld 的主页。

TCL（tool common language）是一种通用工具语言，很多eda tool都支持tcl，学习了解一些tcl基本语法还是很有必要的。

在笔者测试的例子中，产生的fsdb文件为十几MB，shm文件为几十MB，而vcd文件则要几个GB的大小。就是各家不同的仿真或调试工具支持的文件类型，互不通用，但基本都可以由VCD文件转换而来（其实就是VCD文件的压缩版，因为只取仿真调试需要的数据，所以文件大小要远小于原始VCD文件），有的还提供与VCD文件的互转换功能。--------------------------------------强迫症分割线--------------------------------------不是一个通用的文件格式。

综合：在实现流程中，就背后算法而言，综合一定是最难最复杂的。一颗芯片，性能的60% 取决于架构师，在国内好的架构师不超过三位数，极好的架构师不超过两位数，架构师是芯片灵魂的缔造者，是食物链的最顶端，是牛逼闪闪的存在，就驴浅显认知，除了office 似乎没有EDA 工具用于架构设计；集成工程师，要把芯片所用的所有模块相互连接起来，指导思想是架构工程师确定的，各个IP 如何连接是各IP 的owner 确定的，集成工程师只要保证不多连、不少连、不乱连即可，据说当前也没有什么有效的集成工具，常用到的是emac。

从2022.11.30的ChatGPT，到2023.6.13的360智脑大模型2.0，全球AI界已为大模型持续疯狂了七个多月。ChatGPT们正如雨后春笋般涌现，向AI市场投放一个个“炸弹”：办公、医疗、教育、制造，亟需AI的赋能。而AI应用千千万，把大模型打造好才是硬道理。对于大模型“世界”来说，算法是“生产关系”，是处理数据信息的规则与方式；算力是“生产力”，能够提高数据处理、算法训练的速度与规模；数据是“生产资料”，高质量的数据是驱动算法持续迭代的养分。在这之中，算力是让大模型转动的前提。

isolation cell（隔离单元），通常用于电源关断技术（PSO）和多电源多电压技术（MSMV）。起到不同电压域之间的电压钳制和隔离作用。isolation cell是shutdown模块和always on模块之间的接口，用于隔离两个不同的 power domain。iso cell 有一个控制端 EN，当 EN 无效时， A 端信号直接送到 Y 端，此时 iso cell 等效于一个buffer；当 EN 有效时，buffer 断开，Y 端保持固定的高电平或者低电平；

对于单bit信号比较结果，可以看到===和！==的结果只有0/1，一般bench里面推荐使用这两个比较运算符。以上输出结果都不含有Z.

当用户请求集群系统时，集群给用户的感觉就是一个单一独立的服务器，而实际上用户请求的是一组集群服务器。，就是许多的计算机一起co-work，因为机器太多了，又需要协同工作，所以需要按照一定的方式来管理，管理的结构形式叫做拓扑（这个不用管）。通过集中监控和调用，可以充分共享计算机的CPU、内存、磁盘、License等资源，一组安装了LSF软件的计算机组成了一个。(Cluster)就是指一组（若干个）相互独立的计算机，利用高速通信网络组成的一个较大的。管理系统软件，负责计算资源的管理和批处理作业的调度。

AI Generated Content （AI生成内容），对应我们的过去的主要是 UGC（User Generated Content）和 PGC（Professional user Generated Content）。AIGC就是说所有输出内容是通过AI机器人来生成产出相关内容，主要区别是过去主要是普通用户和某一领域专业用户（人）生产内容，AIGC主要是依赖于人工智能（非人类）生成内容，这个就是AIGC的核心意思。

我们认为，如果中国想要发展大模型，那政府的介入是不可或缺的，政府介入可以给企业带来资金支持，从而使企业生产更多的产品，或者是让一些企业有意愿部署大规模的算力。壁仞，最早的一代产品BR100，本身指标是对标H100的，但是由于美国商务部的禁止条款，壁仞必须把互联带宽降低一半，因此产品要重新设计，影响产品进度，并且性能也受到了影响。A：昇腾不涉及，因为昇腾涉及的IP都是买断的，但是昇腾面临下一代产品更迭的问题，新一代IP没法拿到海外厂家的支持，所以昇腾全部的IP都需要国内的替代，但是国内目前还非常不成熟。

cache，中译名高速缓冲存储器，其作用是为了更好的利用局部性原理，减少CPU访问主存的次数。简单地说，CPU正在访问的指令和数据，其可能会被以后多次访问到，或者是该指令和数据附近的内存区域，也可能会被多次访问。因此，第一次访问这一块区域时，将其复制到cache中，以后访问该区域的指令或者数据时，就不用再从主存中取出。cache分成多个组，每个组分成多个行，linesize是cache的基本单位，从主存向cache迁移数据都是按照linesize为单位替换的。

缓冲区可以按照任何粒度或地址对齐的6种分配模式进行分配缓冲区可以由用户插入（非重叠）缓冲区可以通过地址或句柄来解除分配缓冲区可以通过地址或句柄在内存空间中搜索缓冲区支持有效载荷，可以由用户分配，随机生成，读取和比较。实现快速缓冲区搜索算法除了这些功能之外，YAMM还提供调试功能（例如，内存镜像存储，使用情况统计），并且很容易将其与现有验证环境集成。

原因很简单，可关电的PD的逻辑输出，在power down以后呈现X态，如果不加处理连到always on的逻辑，可能导致功能异常。ISO的功能类似AND和OR（取决于掉电后希望保持1还是0），其中ISO_EN由always on domain的信号驱动，在掉电前会先打开ISO_EN，保证掉电PD的输出都处于确定值，然后再关电；形象化一点的理解，PD就是共用一个电源（包括VDD和VSS）的一堆电路，而且这堆电路的边界往往是根据RTL Hierarchy的boundary来定义的。首先要明白几个概念。

程序执行过程中，用到的指令和数据的地址往往集中在一个很小的范围内，其中的地址、数据经常使用，这是程序访问的局部性。按照组长度，我们可以称之为2路，4路，8路。我们在程序中使用的变量和函数都有各自的地址，在程序被编译后，这些地址就成了指令中的地址，指令中的地址就成了CPU执行单元发出的内存地址，所以在启用MMU的情况下， 程序中使用的地址均是。2. TLB中的表项在某些情况下是无效的，比如进程切换，更改内核页表等，此时CPU硬件不知道哪些TLB表项是无效的，只能由软件在这些场景下，刷新TLB。

Cache 在计算机体系架构中有非常重要的地位，本文讲了 Cache中最主要的内容，具体细节可以再根据某个点深入研究。

efuse VS otp