unioner

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

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

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

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