懒猫后花园

摘要： 符号推理，简单调研一下 符号 vs 模拟 形式验证和 UVM 验证方法（Functional Verification）本质出发点是不同的，一个基于符号逻辑推理，另一个基于模拟器。 比如有组合电路 A 和组合电路 B，要验证他们逻辑功能一致，即真值表一致。 ⚠️以下内容有猜测部分，待调研工具具体实现 阅读全文

摘要： 冯诺伊曼架构和存算不是对立的概念 从智能角度证明存算架构力度远远不够 存算针对的是存储和计算关系，冯诺依曼架构针对的是程序和数据都要存储，二者重心不一样因此不是对立的概念。 如果按原教旨主义理解冯诺依曼架构，就要追溯到 《First Draft of a Report on the EDVAC[1] 阅读全文

摘要： 很早前看到知乎的这篇回答[1]，技术栈太浅薄不能理解 spatial computing 的核心问题，而今年 groq、tensotorrent、SambaNova 各种新鲜技术范式出现层出不穷，把我的胃口吊得高高的，遂调研 spatial computing。 Dataflow Accelerat 阅读全文

摘要： CMOS 电路一般而言是不提供高阻态状态的，要提供高阻状态就得有特殊的电路安排，可是那样就使芯片上的电路单元不规整划一了……对于像这样的电路的实现，现在采用的策略是将其做成标准件供程序员选用，但不向程序员开放高阻状态，以免滥用——《香山源码剖析》5.1 组合电路 阅读全文

摘要： 今日不少北京的朋友在朋友圈晒出了漂亮的晚霞，欣赏美景之余不禁好奇，为何晚霞是红色呢？GPT 给出的回答无非绕不开瑞利散射对波长特性不一致，而落日时角度使得光路长度不一致，进而导致晚霞红色。但进一步深究，光路长度怎么影响到波长？傍晚红光穿透力强，蓝光被散射了，为何直射天空是蓝色的？GPT 就开始胡扯了 阅读全文

摘要： 捏他下相对论~可重构计算和时空域概念高度关联，而相对论也是探讨时空域之间的关联关系 阅读全文

摘要： 本文是 Mamba 阅读第一篇文章，本来想从三个问题出发(1)不同 SSM 模型的区别是什么？(2)Transformer 和 SSM 可以等效吗？什么情况下可以等效？(3)很多实验表明 Mamba1 和 Mamba2 并不是单纯替代关系[1]，Mamba2 相比 Mamba1 的变化是什么？即 S 阅读全文

摘要： 广义来说并行分为俩种，提高单元效率是时域并行，一般是通过提高 utilization，而增加单元数量则是空域并行。现代处理器中往往各种并行机制混合存在，本文旨对不同的并行机制分析归类。大部分并行机制都是针对俩个问题：1）解耦单元之间的依赖关系提高并行度 [1]，以及2）访存问题，后续并行机制大都可以 阅读全文

摘要： ETH Computer Architecture Fall 2023 [1]课程笔记 从 parallelism 到 heterogeneity Admal's Law 和 Polloack's Rule 支撑 parallelism。理想 N 核对单核加速比遵守 \(s = \frac{1}{p 阅读全文

摘要： “数学的关键是作图呐！”—— 知名数学教师，孙庆宏 Bayesian Inference Overview of IC Design 从 PPA 出发想办法把各项指标关系用一张图表示，很多地方还不是展现得很好，比如 Arch 的部分都用 utilization 概括了，用 FLOPS 表示 perf 阅读全文