IC开发——Ubuntu安装VCS2018

news2024/10/5 0:27:26

1. 简介

VCS是一种常用的Verilog仿真和综合工具，由Synopsys公司开发。它提供了一个完整的设计验证环境，用于验证硬件设计的正确性和性能。以下是VCS工具的一些主要特点和功能：

  1. 仿真功能：VCS支持基于事件驱动的数字电路级仿真，能够准确地模拟设计中的信号传输和电路行为。它可以处理大型设计，并提供高效的仿真方式和快速的仿真速度。
  2. 综合功能：VCS还提供了综合功能，允许将Verilog描述的设计转换成门级电路，在后端流程中进行布局和布线以及时序优化。
  3. 调试功能：VCS提供了强大的调试工具，包括信号波形查看器、断点设置、单步执行等功能，有助于定位设计中的错误并检查设计的正确性。
  4. 性能分析：VCS可以生成详细的仿真报告和性能分析结果，帮助设计人员优化设计，改进时序约束以满足各种性能目标。
  5. 支持多种设计语言：VCS支持Verilog和SystemVerilog等多种硬件描述语言，方便用户采用不同的设计风格和编码方式。
  6. 高级验证功能：VCS提供了诸多高级验证功能，例如，事务级建模、函数覆盖率分析、断言语句（Assertion）的支持等，帮助设计人员更全面地验证和测试设计。
  7. 集成与兼容性：VCS与其他EDA工具集成紧密，可以与逻辑综合工具、时序约束工具以及物理布局工具等进行无缝连接，方便整个设计流程的集成和协同工作。

2. 安装

此处安装VCS2018套装，包括vcs_vO-2018.09-SP2、scl_v2018.06、vcs_mx_vO-2018.09-SP2、verdi-2018.9。

2.1. 依赖安装

sudo apt install -y csh
sudo apt install -y lsb

2.2. 软件安装

  1. 下载vcs2018，百度网盘 请输入提取码，提取码gbkc 。
  2. 解压，添加权限，执行脚本。 
    mkdir ~/synopsys

unzip VCS.zip

cd VCS/synopsysinstaller_v5.0

chmod 777 SynopsysInstaller_v5.0.run

./SynopsysInstaller_v5.0.run
  3. 启动安装脚本./setup.sh，弹出安装界面

    依次Next，直到安装源选择scl_v2018.06，再点击OK

    选择安装目录：

    选择安装组件(勾选所有)：选择Next直到下图，点击Accept,Install进入安装：安装结束，显示下图，点击Finish：出现下图，点击Dismiss结束安装。用同样的方式分别安装目录下的vcs_vO-2018.09-SP2、vcs_mx_vO-2018.09-SP2、verdi-2018.9。

2.3. 破解

  1. 获取Hostname和MAC地址：
  2. 在Windows下运行scl_keygen_2030/scl_keygen.exe，配置获取的hostname和mac地址，点击Generate生成授权信息文件Synopsys.dat。
  3. 将文件拷贝进Ubuntu的/home/michael/synopsys/license/Synopsys.dat
  4. 打开Synopsys.dat文件，在第2行添加/home/michael/synopsys/scl/2018.06/linux64/bin/snpslmd。
  5. 启用授权服务 
    sudo mkdir /usr/tmp

sudo mkdir /usr/tmp/.flexlm

/home/michael/synopsys/scl/2018.06/linux64/bin/lmgrd -c /home/michael/synopsys/license/Synopsys.dat

2.4. 环境路径配置

打开~/.bashrc，在最后面添加如下内容，路径根据安装情况相应修改，27000@ubuntu22的ubuntu22修改为相应的HostName。

 #export export SYNOPSYS="/usr/software/synopsys"
 export VCS_TARGET_ARCH="amd64"
 export DVE_HOME="/home/michael/synopsys/vcs/O-2018.09-SP2/gui/dve"
 #export PATH="/home/michael/synopsys/vcs/O-2018.09-SP2/bin:"$PATH
 export PATH="/home/michael/synopsys/vcs-mx/O-2018.09-SP2/bin:"$PATH
 #export VCS_HOME="/home/michael/synopsys/vcs/O-2018.09-SP2"
 export VCS_HOME="/home/michael/synopsys/vcs-mx/O-2018.09-SP2"
 
 
 #export VCS_ARCH_OVERRIDE="linux"
 #verdi
 export PATH="/home/michael/synopsys/verdi/Verdi_O-2018.09-SP2/bin:"$PATH
 export VERDI_HOME="/home/michael/synopsys/verdi/Verdi_O-2018.09-SP2"
 export LD_LIBRARY_PATH="/home/michael/synopsys/verdi/Verdi_O-2018.09-SP2/share/PLI/lib/LINUX64":$LD_LIBRARY_PATH
 export VERDI_DIR="/home/michael/synopsys/verdi/Verdi_O-2018.09-SP2"
 export NOVAS_INST_DIR="/home/michael/synopsys/verdi/Verdi_O-2018.09-SP2"
 export NPI_PLATFORM="LINUX64_GNU_472"
 export LD_LIBRARY_PATH="$NOVAS_INST_DIR/share/NPI/lib/LINUX64_GNU_520":$LD_LIBRARY_PATH
 export NOVAS_HOME="/home/michael/synopsys/verdi/Verdi_O-2018.09-SP2"
 
 #LICENSE
 export SNPSLMD_LICENSE_FILE="/home/michael/synopsys/license/Synopsys.dat"
 export SNPSLMD_LICENSE_FILE=27000@ubuntu22
 export LM_LICENSE_FILE="/home/michael/synopsys/license/Synopsys.dat"
 
 alias lmli="/home/michael/synopsys/scl/2018.06/linux64/bin/lmgrd -c /home/michael/synopsys/license/Synopsys.dat"
 #SCL
 export PATH=/home/michael/synopsys/scl/2018.06/linux64/bin:$PATH
 alias dve="dve -full64 &"
 alias vcs64="vcs -full64"
 alias vcs="vcs -full64"
 alias verdi="verdi -full64 &"

2.5. 验证License

sssverify 自己的license路径

出现下面信息表示License生成正确。

2.6. 开机自动开启授权服务

在/etc/profile.d/目录下创建lmli.sh

cd /etc/profile.d/ 
sudo touch lmli.sh
sudo chmod 777 lmli.sh

在lmli.sh文件中添加如下内容：

`/home/michael/synopsys/scl/2018.06/linux64/bin/lmgrd -c /home/michael/synopsys/license/Synopsys.dat -l /home/michael/synopsys/scl/2018.06/linux64/bin/lmgrd.log`

2.7. 解决异常

1. libpng12.so.0 cannot read

sudo ln -s /home/michael/synopsys/vcs-mx/O-2018.09-SP2/vcfca/linux64/vcst/lib/libpng12.so.0.31.0 /usr/lib/x86_64-linux-gnu/libpng12.so.0

2. undefined reference to `pthread_yield'

cd /home/michael/synopsys/vcs-mx/O-2018.09-SP2/linux64/lib
mv vcs_save_restore_new.o vcs_save_restore_new.o.bak
objcopy --redefine-sym pthread_yield=sched_yield ./vcs_save_restore_new.o.bak ./vcs_save_restore_new.o

3. Failedto open the TcP port number in thelicense

lmdown
killall lmgrd

 4. Can't make directory/usr/tmp/.flexlm

cd /usr
sudo mkdir tmp
cd local
sudo mkdir flexlm
cd flexlm
sudo mkdir licenses

5. /bin/sh:0: illegal option –h

sudo rm -f /bin/sh
sudo ln -s /bin/bash /bin/sh

3. 验证

3.1. VCS

VCS有两个版本，分别为vcs和vcs-mx，vcs-mx在vcs的基础上更好地支持SystemVerilog和SystemC。像在使用UMV/UVMC时，就必须使用vcs-mx。另外，在64位系统上，推荐使用64位的vcs，性能更好，通过-full64来指定。

3.1.1. top文件

module add (

  input         [20:0]	A ,
  input signed  [17:0]	B	,

  output signed [22:0]	C);

  wire signed [21:0]	A_signed;

  assign A_signed = {1'b0,A};
  assign C = A_signed + B;

endmodule

3.1.2. testbench文件

`timescale 1ns/1ns

module test;

  reg clk;
  reg rst_n;

  reg [20:0] A;
  reg signed [17:0] B;

  wire signed [22:0] C;

  initial begin
    clk = 0;
    rst_n = 0;
    A = 21'b0;
    B = 18'b0;
    #10;
    rst_n = 1;
    repeat(80) @(posedge clk) begin
      A = A + 21'b1;
    end

    #2000;
    $finish;

  end

  always #5 clk = ~clk;

  initial begin
    $fsdbDumpfile("./rtl.fsdb");
    $fsdbDumpvars("+all");
  end

  add add_inst(
    .A(A),
    .B(B),
    .C(C));

endmodule

3.1.3. 源文件列表

vcs中以.f文件为源文件列表，其中每一行记录一个verilog/SystemVerilog源文件。

filelist.f文件内容如下：

top.v

tb.v

3.1.4. Makefile文件

VCS = vcs -full64 -sverilog -timescale=1ns/1ns \
		+v2k \
		-debug_access+all -kdb -lca\
		-f file.f	
comp:
	$(VCS) 


.PHONY:verdi clean sim
verdi：
	verdi -ssf rtl.fsdb

sim:
  ./simv

verdi:
  verdi -ssf rtl.fsdb

clean:
	rm -rf csrc simv* *.lib *.lib++ nLint*
	rm -rf *.log *.vpd *.fsdb* *.key *log rtl.fsdb*

3.1.5. 编译

make

3.1.6. 仿真

make sim

3.1.7. verdi查看波形

make verdi

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1712105.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

MySQL学习——连接服务器和输入查询

MySQL学习——连接服务器和输入查询

MySQL是一个流行的关系型数据库管理系统（RDBMS），由瑞典的MySQL AB公司开发，后来被Oracle公司收购。它使用SQL（结构化查询语言）作为访问和操作数据库的标准语言。 要查看 mysql 客户端程序提供的选项列表&a…
阅读更多...
合约的值类型

合约的值类型

基本数据类型：整数、枚举、布尔（类似java的数据类型）Address、Contract（这两种是solidity特有的数据类型）Fixed byte array（定长字节数组） Integer(int/uint) int/uint 以8位字节递增&#xf…
阅读更多...
硬盘有EFI分区格式化不了，也删不了怎么办，不能读取磁盘

硬盘有EFI分区格式化不了，也删不了怎么办，不能读取磁盘

问题：EFI为系统引导分区表明这是一块系统盘，常规操作无法格式化也无法删除，也不能读取 解决： 1.管理员运行cmd 2.输入diskpart 3.输入list disk 查看系统磁盘，并找到你格式化不了的那块磁盘 4.select disk 编号 选择…
阅读更多...
【Go专家编程——并发控制——三剑客】

【Go专家编程——并发控制——三剑客】

并发控制 我们考虑这么一种场景，协程在A执行过程中需要创建子协程A1、A2、A3…An，协程创建完子协程后就等待子协程退出。 针对这种场景，Go提供了三种解决方案： Channel：使用channel控制子协程 优点：实现…
阅读更多...
【稳定检索】2024年核能科学与材料、物理应用国际会议(NESMPA 2024)

【稳定检索】2024年核能科学与材料、物理应用国际会议(NESMPA 2024)

2024年核能科学与材料、物理应用国际会议 2024 International Conference on Nuclear Energy Science and Materials, Physical Applications 【1】会议简介 2024年核能科学与材料、物理应用国际会议即将拉开帷幕，这是一场汇聚全球核能科学、材料研究及物理应用领域…
阅读更多...
全志T527 适配双目tp2815_mipi

全志T527 适配双目tp2815_mipi

一、硬件信息 TP2815： 确认硬件信息： 1、通信接口：TWI2总线，引脚组为PE1 、PE2 2、RESET脚： 二、软件配置 1、设备树 t527 dtsi: bsp/configs/linux-5.15/sun55iw3p1.dtsi t527 uboot-board.dts device/config/chi…
阅读更多...
必看丨SSL证书是什么？怎么免费申请一张？

必看丨SSL证书是什么？怎么免费申请一张？

SSL证书是一种网络安全证书，它能帮助网站实现数据加密传输，保障用户信息在浏览器和网站服务器之间的安全交流。想象一下SSL证书就像一封密信的封蜡，确保信件内容在途中不会被他人偷看或篡改。 SSL证书的作用主要有两点： 1. 身份验…
阅读更多...
gin框架精通篇（二）

gin框架精通篇（二）

原生数据库使用 导入模块：go get -u github.com/go-sql-driver/mysql 安装 mysql 数据库 安装数据库可能遇到的问题：（网上的方法基本可以解决） ERROR 1045 (28000): Access denied for user ‘-root’‘localhost’ (using passwo…
阅读更多...
【leetcode2765--最长交替子数组】

【leetcode2765--最长交替子数组】

要求：给定一个数组，找出符合【x, x1,x,x-1】这样循环的最大交替数组长度。 思路：用两层while循环，第一个while用来找到符合这个循环的开头位置，第二个用来找到该循环的结束位置，并比较一下max进行记录。 …
阅读更多...
LLVM技术在GaussDB等数据库中的应用

LLVM技术在GaussDB等数据库中的应用

目录 LLVM和数据库 LLVM适用场景 LLVM对所有类型的SQL都会有收益吗？ LLVM在OLTP中就一定没有收益吗？ GaussDB中的LLVM 1. LLVM在华为应用于数据库的时间线 2. GaussDB LLVM实现简析 3. GaussDB LLVM支持加速的场景 支持LLVM的表达式&#xff1a…
阅读更多...
河南道路与桥梁乙级资质升级门槛条件解读

河南道路与桥梁乙级资质升级门槛条件解读

河南道路与桥梁乙级资质升级门槛条件解读如下： 一、企业基本条件 法人资格： 企业需具备独立企业法人资格，能够独立承担民事责任。注册资金： 企业的注册资金应不少于100万元人民币，这一数字直接体现了企业的经济实力和…
阅读更多...
Yann LeCun 和 Elon Musk 就 AI 监管激烈交锋

Yann LeCun 和 Elon Musk 就 AI 监管激烈交锋

🦉 AI新闻 🚀 Yann LeCun 和 Elon Musk 就 AI 监管激烈交锋 摘要：昨天，Yann LeCun 和Elon Musk 在社交媒体就人工智能的安全性和监管问题展开激烈辩论。LeCun 认为目前对 AI 的担忧和监管为时过早，主张开放和共享。而…
阅读更多...
【linux：基础IO】

【linux：基础IO】

目录 系统调用的文件接口： open read: write: lseek: close: 系统调用的文件接口： open 当文件存在时：int open (const char*pathname,int flags)当文件不存在时：int open (const char* pathname,int flags,mode_t mode) 返…
阅读更多...
拉格朗日插值法的推导

拉格朗日插值法的推导

1、插值的基本定义   设函数 y f ( x ) yf(x) yf(x)在区间 [ a , b ] [a,b] [a,b]上有定义&#xff0c;且已知它在 n 1 n1 n1个互异点 a ≤ x 0 < x 1 < . . . < x n ≤ b a\leq x_0<x_1<...<x_n\leq b a≤x0​<x1​<...<xn​≤b上的函数值 y 0 …
阅读更多...
经典文献阅读之--SMERF(通过标清导航地图增强车道感知和拓扑理解)

经典文献阅读之--SMERF(通过标清导航地图增强车道感知和拓扑理解)

Tip: 如果你在进行深度学习、自动驾驶、模型推理、微调或AI绘画出图等任务&#xff0c;并且需要GPU资源&#xff0c;可以考虑使用Compshare的GPU算力云平台。他们提供高性价比的4090 GPU&#xff0c;按时收费每卡2.6元&#xff0c;月卡只需要1.7元每小时&#xff0c;并附带200G…
阅读更多...
【全开源】西陆家政系统源码小程序（FastAdmin+ThinkPHP+原生微信小程序）

【全开源】西陆家政系统源码小程序（FastAdmin+ThinkPHP+原生微信小程序）

打造高效便捷的家政服务平台 一、引言&#xff1a;家政服务的数字化转型 随着人们生活节奏的加快&#xff0c;家政服务需求日益增长。为了满足广大用户对高效、便捷的家政服务的需求&#xff0c;家政小程序系统源码应运而生。这款源码不仅能够帮助家政服务提供商快速搭建自己…
阅读更多...
【VTKExamples::Utilities】第十六期 WindowModifiedEvent

【VTKExamples::Utilities】第十六期 WindowModifiedEvent

很高兴在雪易的CSDN遇见你 VTK技术爱好者 QQ：870202403 公众号：VTK忠粉 前言 本文分享VTK样例WindowModifiedEvent，希望对各位小伙伴有所帮助！ 感谢各位小伙伴的点赞+关注，小易会继续努力分享，一起进步！ 你的点赞就是我的动力(＾Ｕ＾)ノ~ＹＯ 1. WindowModifi…
阅读更多...
基于 RNNs 对 IMDB 电影评论进行情感分类

基于 RNNs 对 IMDB 电影评论进行情感分类

前言 系列专栏:【深度学习：算法项目实战】✨︎ 涉及医疗健康、财经金融、商业零售、食品饮料、运动健身、交通运输、环境科学、社交媒体以及文本和图像处理等诸多领域，讨论了各种复杂的深度神经网络思想，如卷积神经网络、循环神经网络、生成对抗网络、门控循环单元、长短期记…
阅读更多...
Sqli-labs-master靶场1-20通关教程

Sqli-labs-master靶场1-20通关教程

目录 SQL注入基本语句 Less-1&#xff08;字符型-闭合 &#xff09; Less-2&#xff08;数字型&#xff09; Less-3&#xff08;字符型-闭合 ) &#xff09; Less-4&#xff08;字符型-闭合 ") &#xff09; Less-5&#xff08;报错注入-闭合 &#xff09; Less-…
阅读更多...
实战教程：使用Go的net/http/fcgi包打造高性能Web应用

实战教程：使用Go的net/http/fcgi包打造高性能Web应用

实战教程&#xff1a;使用Go的net/http/fcgi包打造高性能Web应用 简介理解FCGI协议FastCGI工作原理CGI与FastCGI对比其他接口对比 初步使用net/http/fcgi包设置和配置基础环境一个简单的FastCGI应用示例本地测试与调试 深入net/http/fcgi包的高级用法探索net/http/fcgi的主要功…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023