自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(16)
  • 收藏
  • 关注

原创 formality验证及svf文件含义(时序验证)

Formality 时序验证,svf

2023-03-14 11:43:20 4191

原创 《商业ASIC Flow 逻辑综合介绍》

逻辑综合介绍

2022-09-26 15:35:42 1007 1

原创 [Route] FLUTE:基于直线的快速查找表 超大规模集成电路设计中的Steiner最小树算法

FLUTE算法,route领域

2022-09-26 10:59:55 3168

原创 【Logic synthesis】ABC Command

ABC Command

2022-09-09 16:36:48 1692

转载 auto和const auto&的用法

1.auto即for(auto x:range) 会拷贝一份range元素,不会改变range中的元素;2.只读取range中的元素,使用const auto&,如:for(const auto&x:range),它不会进行拷贝,也不会修改range,效率会比用auto快一点。想要拷贝元素:for(auto x:range)想要修改元素:for(auto &&x:range)只读元素:for(const auto& x:range)...

2021-12-03 09:47:21 1680

转载 找不到tcl.h ————Ubuntu安装tcl/tk

tcl和tk的下载地址:http://www.tcl.tk/software/tcltk/download.html下载tcl/tk源代码包 tclX.X.X-src.tar.gz 和 tkX.X.X-src.tar.gz(1) 安装tclX.X.X-src.tar.gz:tar -xzvf tclX.X.X-src.tar.gzcd tclX.X.X/unix执行./configure脚本生成makefile文件./configure编译make安装sudo make install

2021-11-30 10:59:25 2251

原创 解决server certificate verification failed. CAfile: /etc/ssl/certs/ca-certificates.crt CRLfile: none

git config --global http.sslverify false

2021-11-30 10:57:48 462

原创 写shell脚本时,Linux提示Syntax error: end of file unexpected (expecting “done“) 提示错误

windows和linux的回车换行时不一样的字符,所以脚本在解释时会出现问题。在终端输入:sed -i 's/\r$//' autoconf.sh即可解决

2021-11-05 15:24:08 2039 1

转载 error: RPC failed; curl 56 GnuTLS recv error (-54): Error in the pull function.

error: RPC failed; curl 56 GnuTLS recv error (-54): Error in the pull function.fatal: The remote end hung up unexpectedly解决方法:git config --global http.postBuffer 20000000

2021-07-22 11:45:20 932

转载 本地项目(服务器)直接上传到github或gitee

1.先从git库上把自己需要的项目克隆到自己本地2.然后把git项目中的.git文件夹 给删除3.进行git初始化git init4.将本地代码添加到仓库git add ./注意有空格git commit -m “上传仓库时的说明”5.关联上远程仓库git remote add origin https://github.com/*******6.最后将你的代码上传到Git库git push --set-upstream origin master...

2021-07-05 18:30:57 283

原创 Linux版本切换(python2.7与python3.5版本切换)

设置优先级sudo update-alternatives --install /usr/bin/python python /usr/bin/python2 100sudo update-alternatives --install /usr/bin/python python /usr/bin/python3 150sudo update-alternatives --config python输入选择的指针编号切换当前python版本...

2021-07-01 10:04:47 313

原创 AIGER格式介绍

AIGER是AIG()And-Inverter Graphs)的文件格式的代称,是瑞士境内阿尔卑斯山的一座山峰。AIGER格式CAV2007模型检测竞赛提供了一种简洁明了的文件格式。AIGER文件格式含有ASCII格式和二进制格式两个版本。当一个应用没有使用AIGER库时,可以生成ASCII格式的AIG文件。二进制格式更加简洁,格式更严谨,是基准测试和竞赛所采取的格式。ASCII格式的AIG文件第一行由字符串aag 开始,aag是ASCII AIG的缩写;然后是以空格分隔5个非负整数,分别由M, I, L

2021-06-10 10:34:04 2629 1

原创 BLIF(Berkeley Logic Interchange Format )介绍

BLIF的目标是用文本的形式描述一个逻辑层级电路一个电路是由逻辑方程组成的网络(包括组合逻辑和时序逻辑)电路可以看作是由组合逻辑节点和时序逻辑元件组成的有向图每个节点包含一个单一输出的逻辑方程标题模型的声明.model <decl-model-name>.inputs <decl-input-list>.outputs <decl-output-list>.clock <decl-clock-list><command> .

2021-06-10 09:36:51 3021

转载 (不换镜像源、不改host)解决git clone和git clone --recursive速度过慢的问题

如何解决git clone和git clone --recursive速度过慢的问题  百度过很多种方法,例如,改hosts,换镜像等,虽然有点作用,但是提升的速度不是很明显,以下介绍的是的的确确非常有用的办法:在git clone的时候,例如git clone https://github.com/username/xxx.git,改为git clone https://github.com.cnpmjs.org/username/xxx.git,也即加上后缀.cnpmjs.org,从国内镜像源里直接

2021-06-03 11:11:41 1115

原创 github中clone代码到本地与直接下载压缩包的区别

今天想要在是使用git在github中clone一个工具包到本地,但是网速太慢,一直没办法正常clone,于是就思考clone代码与直接下载zip包有什么区别呢?clone代码到本地仓库是有一个.git文件夹,即里面会包含历史版本信息,而下载zip压缩包只下载最新版本的代码。...

2021-06-03 11:01:16 3782 1

转载 C++中关于public、protect、private的访问权限控制

C++中关于public、protect、private的访问权限控制 1: public访问权限     一个类的public成员变量、成员函数,可以通过类的成员函数、类的实例变量进行访问    <实际上,类的成员函数,可以访问本类内的任何成员变量和成员函数>     #include&lt...

2021-05-27 09:26:32 753

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除