unioner

摘要： 1. 字体获取位置 来源：Windows 11 系统的字体目录 路径：C:\Windows\Fonts 获取方式：直接复制全部文件（.ttf, .ttc, .otf, .fon 等） 提示：若双系统，直接挂载 Windows 分区复制；若虚拟机，使用共享文件夹或 ISO 挂载方式传递文件。 2. 安 阅读全文

摘要： 最近项目需要进行 FPGA 上板，因此需要使用 vivado，但是 vivado 的仿真实在是太慢了，前面装过了 questasim，于是决定使用 questasim 和 vivado 进行联合仿真。由此进行了一部分的配置。 发现网上的教程有些有些古老了，这里做一些补充。 环境 Questasim 阅读全文

摘要： 之前一直在 wsl2 上用 vcs 进行开发，但是最近想看一下覆盖率，发现破解有些问题，看不了😅。而且 vcs 老给我报错说系统不兼容，让我很是恼火。开源的 verilator 的验证逻辑又和传统的工具有一些区别，不能完全替代，就想着使用 questasim 来代替vcs。 参考资料 2024的版 阅读全文

摘要： 用vscode写verilog的tb文件时候延迟前有小方块，似乎是用来颜色选择的，不小心点到了，还会改变代码，非常不方便。 找了方法关闭，在设置里面搜索color把这个选项关了就可以了。 更改后效果。 阅读全文

摘要： 研究生课程《程序的形式语义和验证》复习过程中，根据ppt整理的一些概念。使用了AI，仅供参考。 基础数学知识和集合论 一、命题逻辑相关新概念 命题（Proposition） ：具有真假值的陈述句，是命题逻辑的基本研究对象（区别于祈使句、疑问句、含自由变量的表达式等非命题）。 命题逻辑公式（PLF, 阅读全文

摘要： 西电2025年研究生网课人工智能安全与伦理（北航雨课堂） 答案参考于https://github.com/LazzyXP/AI-Security-and-Ethics-BeiHang-Univer...，修改了一部分错误的答案 第一章-AI安全与伦理概述 AI 解释生成系统的手段包括：注意力网络、解 阅读全文

摘要： 简单记录一下一些画原理图的注意事项 什么要的电路图是好的电路图 电路图应能顺畅，清晰地表达设计思想； 需要符合一定的标准，无论是通用的，还是团队内部的； 拥有均衡的布局； 拥有适当的比例； 标注应该完整； 文字尽可能保持准确简单。 清晰的表达设计意图 绘制选择原理图符号时，应该选择器件的逻辑符号，而 阅读全文