其他
业界很多人用formality做形式验证，检查rtl或者网表在后端流程中有没有变质，如果成功了当然很不错，代表你的设计初衷得到实现了。这里介绍一个formality检查电源连接的方法，在verify之前就可以看到设计中的电源连接问题。诸如：电源漏接，错接，库文件不支持等。做好了电源方案，floorp ...
1. 安装Jupyter pip install jupyter 2. Jupyter的初次使用 # 进入虚拟环境 workon ai # 输入命令 jupyter notebook 本地notebook的默认URL为：http://localhost:8888 想让notebook打开指定目录，只 ...
1、冒泡排序算法（递归） 1 public class 冒泡排序 { 2 public static void main(String args[]){ 3 int[] array = {4,3,56,73,25,6,37,8,1,46}; 4 int n = array.length; 5 Bub ...
{ "size": 0, "aggs": { "errors": { "date_histogram": { "field": "请求时间", "interval": "1d", "format": "yyyy-MM-dd HH:mm:ss", "time_zone":"+08:00", "offs ...
@Conditional是Spring4新提供的注解，它的作用是按照一定的条件进行判断，满足条件给容器注册bean。 @Conditional的定义： //此注解可以标注在类和方法上@Target({ElementType.TYPE, ElementType.METHOD})@Retention(R ...
安装Docker遇到的问题及解决方法 1、Docker Quickstart Terminal 快捷方式绑定的git的bash.exe位置不对,导致找不到bash.exe 右键,属性,修改快捷方式 把本地安装的git地址替换快捷键中git的地址 E:\anzhuang\Git\bin\bash.ex ...
一、树 1.定义：树是由n(n>=1)个有限结点组成一个具有层次关系的集合 2.特点：1）每个结点有零个或多个子结点 2）没有父结点的为根结点 3）每一个非根结点只有一个父结点 3.树的相关术语 1）结点的度：一个结点的子结点个数 2）叶节点：度为零的结点，也叫终端结点 3）结点的层次：从根结点开始 ...
三子棋 用到了三个类分别是MainTest、ThreeGame、ThreeGameImpl 1. MainTest类，主要用于写一些客户端的代码，用于测试 2. ThreeGameImpl是一个抽线类，用于规范方法 3. ThreeGame是具体实现 ...
具体步骤： 1.连接U盘到你的电脑 2.以管理员身份打开命令提示符（Win+R） 3.输入 diskpart 之后再输入 list disk 找到你的U盘的序号# 4.输入以下命令，注意替换# select disk # clean create partition primary format f ...
VS Code VS Code的常用快捷键，具体如下： Ctrl+Shift+P,F1 展示全局命令面板 Ctrl+P 快速打开最近打开的文件 Ctrl+Shift+N 打开新的编辑器窗口 Ctrl+Shift+W 关闭编辑器 Ctrl + X 剪切 Ctrl + C 复制 Alt + up/dow ...