1. SestemVerilog概述1.1 发展历史2. 数据类型2.1Verilog的数据类型Verilog语言提供两种基本的数据类型，即变量类型(variables)和**线网类型(nets)**，==这两种类型都是四值逻辑==，即可表

1. 相关名词 验证： verify/verification (国外也称为validation) pre-silicon validation: 流片之前做的验证 post-silicon validation: 流片之后做的测试 国内公

Obsidian最值得折腾的是庞大丰富的插件市场

Markdown的一些常用语法

Obsidan以内容为基础，链接为核心。建立不同知识之间的连接，将不同知识相关性程度可视化，形成知识网络。