近期疫情严重，身为社畜的我只能在家中继续钻研技术了。之前写过一篇关于搭建FIFO验证平台的博文，利用SV的OOP特性对FIFO进行初步验证，但有很多不足之处，比如结构不够规范、验证组件类不独立于DUT等问题。此次尝试验证更复杂的IP，并利用SV的更多高级特性来搭建层次化验证平台。
2022-08-10 11:14
随着经济的发展，供暖供热正逐渐成为社会日益关注的问题。传统的供热供暖设备以煤炭作为能源，效率低下，对环境污染比较大，采用电作为能源则很好的避免了此类问题。它不仅热效率高、采暖费用低，还具有环保、温度可控等优点。
2018-07-10 15:23
今天的形式验证工具具有更大的容量，并且许多工具能够在服务器或云上以分布式模式运行。形式验证的技术和方法也得到了扩展。
2022-11-29 14:31
在焦化厂配煤炼焦生产工艺过程中，需要将各种不同的精煤如：肥煤、气煤、瘦煤、焦煤、贫煤等以适当比例配合成混合煤称之为自动配煤，它是整个焦化生产的一个重要环节，对生产高质量的焦炭、合理利用煤炭
2020-03-21 10:41
本文开始介绍了smt设备的概念及分析了smt设备主要是用来做什么的，其次阐述了SMT设备操作人员岗位职责，最后分析了SMT的发展前景。
2018-04-08 14:10
Intel提供了一种InterruptWindow机制来解决这个问题，该机制的原理是：配置了InterrruptWindow使能的虚拟机运行阶段当执行STI指令打开中断使能会触发一个vm_exit事件退出到Hypervisor，这个退出原因硬件会标记为InterruptWindow，Hypervisor层会根据这个事件将虚拟中断控制器计算准备分发的虚拟中断注入到虚拟机VMX页VMX_ENTRY_INT_INFO_FIELD字段最终返回虚拟机执行中断处理。
2018-04-11 09:27
实际上，让我们从一个不是端到端但对高速缓存至关重要的属性开始。该属性是我们唯一需要检查内部细节的属性。它可以验证缓存中的命中请求是否只有一种命中方式。如果不遵守这一点，那么在读取或写入哪种数据时就会非常模糊。
2023-11-24 14:48
电力二次设备是对电力系统内一次设备进行监察，测量，控制，保护，调节的辅助设备。 ［1］ 即不直接和电能产生联系的设备。
2018-10-11 17:40
