摘要： 阅读全文

摘要： 形式验证是为了验证RTL代码与门级网表之间的逻辑等价性。 在综合的流程中通常会插入扫描链，这样综合出的结果的逻辑关系可能会与RTL代码的等效逻辑不一致；在版图流程中，通常会做时钟树综合，将会在网表中插入BUFF和反向器，这就可能会造成逻辑的不等价。如果在这两种情况下，都采用重新进行一番验证的方式来验证门级网表的正确性，那么将会带来大量的时间消耗，项目流程会被拉长，这对于IC设计来说是不能承受... 阅读全文

摘要： 1.利用AppCompatibilityView可以管理 2.改注册表 复制下述命令 reg add "HKCU\Software\Microsoft\Windows NT\CurrentVersion\AppCompatFlags\Layers" /v "您的程序完整路径" /t REG_SZ / 阅读全文

摘要： 如何通过XDRP实现Windows远程访问 下面才是本文的重点，本文主要是讲xrdp在目前最新版Ubuntu 16.04下，如果实现Windows远程访问。网上也很多相关教程，但是都需要安装xfac4或者xubuntu桌面系统才能实现远程连接。那是因为xrdp支持在13.10之后版本就已经不支持的G 阅读全文

摘要： 前言在经过了一段时间的实践之后，再次回顾 COW/ROW 快照技术的实现原理，温故而知新。 快照与备份的区别传统地，人们一直采用数据复制、备份、恢复等技术来保护重要的数据信息，定期对数据进行备份或复制。由于数据备份过程会影响应用性能，并且非常耗时，因此数据备份通常被安排在系统负载较轻时进行(如夜间) 阅读全文

摘要： 先明确几个概念 基础概念部分 1.字符编码方式CEF(Character Encoding Form) 对符号进行编码，便于处理与显示 常用的编码方式有 GB2312（汉字国标码 2字节） ASCII （标准交换字符 1字节） UNICODE（统一码, 4字节;现常用2字节编码方式，即使用第0组第0 阅读全文

摘要： 8月17日，在毕业群里看到了华为销售类与服务类优招的消息，加了群。了解到在8月24日要进行面试。由于自己的大学所学不精，主要还是在做嵌入式与物联网方向，但自己学的仅仅局限于嵌入式单片机开发这块，之前也没有刷过算法题这些，在找工作的时候选择很难选择，就把眼光转向服务岗，之前在大三的时候也通过招聘群认识 阅读全文

摘要： 分享下个小心得，在美国大学的官网上有很多课程教学资料，等着我们去发现和下载。 我举个例子把，我找到了美国伊利诺伊大学的官网，发现了如下两个网页 第一个： 电子学院的课程介绍http://catalog.illinois.edu/courses-of-instruction/ece/第二个： 该大学的 阅读全文

摘要： 1 引言 计算机技术和信息技术的高速发展的今天，计算机和计算机技术大量应用在人们的日常生活中，嵌入式计算机也得到了广泛的应用。嵌入式计算机是指完成一种或多种特定功能的计算机系统，是软硬件的紧密结合体。具有软件代码小、高度自动化、响应速度快等特点。特别适合于要求实时和多任务的应用体系。嵌入式实时系统是目前蓬勃发展的行业之一。 但是，实时嵌入式系统的特点使得其软件受时间和空间的严格限制，... 阅读全文

摘要： http://wiki.ai-thinker.com/doku.php/utils/esp32_idf_menuconfig http://wiki.ai-thinker.com/doku.php/modules/esp32_module http://esp32.info/docs/esp_idf/html/index.html https://github.com/espre... 阅读全文