CN101377793A - 一种服务器安全监控管理用soc芯片逻辑验证方法 - Google Patents
一种服务器安全监控管理用soc芯片逻辑验证方法 Download PDFInfo
- Publication number
- CN101377793A CN101377793A CNA2008101398754A CN200810139875A CN101377793A CN 101377793 A CN101377793 A CN 101377793A CN A2008101398754 A CNA2008101398754 A CN A2008101398754A CN 200810139875 A CN200810139875 A CN 200810139875A CN 101377793 A CN101377793 A CN 101377793A
- Authority
- CN
- China
- Prior art keywords
- module
- chip logic
- soc
- links
- model
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 28
- 238000012795 verification Methods 0.000 title claims abstract description 24
- 238000012544 monitoring process Methods 0.000 title claims abstract description 13
- 230000006870 function Effects 0.000 claims description 12
- LHMQDVIHBXWNII-UHFFFAOYSA-N 3-amino-4-methoxy-n-phenylbenzamide Chemical compound C1=C(N)C(OC)=CC=C1C(=O)NC1=CC=CC=C1 LHMQDVIHBXWNII-UHFFFAOYSA-N 0.000 claims description 2
- 230000000977 initiatory effect Effects 0.000 claims description 2
- 238000004088 simulation Methods 0.000 claims description 2
- 238000013461 design Methods 0.000 description 9
- 238000010276 construction Methods 0.000 description 3
- 238000010586 diagram Methods 0.000 description 3
- 238000011161 development Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
Images
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本发明提供一种服务器安全监控管理用SOC芯片逻辑验证方法,该方法是利用现场可编程门阵列FPGA搭建一个服务器安全监控管理SOC芯片系统,该系统包括软件平台和硬件平台、硬件平台包括由现场可编程门阵列FPGA作模型载体的芯片逻辑验证模型、各类功能模块其接口模块,其中功能模块及其接口模块与芯片逻辑验证模型相连,软件平台用来实现对芯片逻辑验证模型、功能模块及其接口模块的配置和相关数据处理,并将信号输入到接口模块,通过各个功能模块产生芯片逻辑验证模型的输入信号,通过芯片逻辑验证模型产生对软件的控制信号,通过各个功能模块及其接口模块转化为软件显示标量。
Description
技术领域
本发明涉及一种集成电路设计领域,具体的说是一种服务器安全监控管理SOC(System On Chip,片上系统)芯片的逻辑验证方法。
背景技术
随着微电子技术的发展,芯片的集成度越来越高,SOC芯片的设计应用越来越普遍,但其验证和测试工作却越来越复杂。任何一款芯片,都要经过算法设计、系统设计、RTL设计、布局规划和综合、布局、布线、验证到流片这样一个复杂的过程,其中验证这一步充斥在所有的步骤中。因此,可以说验证是芯片生产过程中最重要的部分。以往芯片的逻辑验证多通过专用集成电路ASIC。因为专用集成电路ASIC功能单一,不可复用,必然造成研发成本的大大提高。而现场可编程门阵列FPGA的出现,则改进了专用集成电路ASIC功能单一、不可复用的缺点,使得芯片开发流程更加灵活简便。
发明内容
本发明要解决的技术问题是提供一种服务器安全监控管理SOC芯片的逻辑验证方法,使用这种方法,可以提高SOC芯片设计性能,缩短SOC芯片的开发周期。
为了解决上述问题,本专利提供一种服务器安全监控管理SOC芯片逻辑验证方法,该方法是利用现场可编程门阵列FPGA搭建一个服务器安全监控管理SOC芯片逻辑验证方法,该方法包括软件平台和硬件平台,硬件平台包括由FPGA来做模型的载体的芯片逻辑验证模型、各类功能模块及其接口模块,其中功能模块及其接口模块与芯片逻辑验证模型相连。软件平台用来实现对芯片逻辑验证模型、功能模块及其接口模块的配置和相关数据处理,并将信号输入到接口模块,通过各个功能模块产生芯片逻辑验证模型的输入信号,通过芯片逻辑验证模型产生对软件的控制信号,通过各个功能模块及其接口模块转化为软件显示标量。
验证步骤如下:
(1)由硬件描述语言描述芯片逻辑验证模型,使其符合SOC芯片逻辑功能;
(2)软件平台通过功能模块及其接口,对FPGA进行配置,配置的结果是使FPGA成为SOC芯片逻辑验证模型,与所需验证的SOC芯片逻辑功能相同;
(3)软件平台产生验证开始命令,通过功能模块及其接口模块将信号送入芯片逻辑验证模型。信号经过芯片逻辑验证模型的逻辑处理送出至功能模块及其接口模块,通过各个功能模块及其接口模块转化为软件显示标量;
(4)软件平台产生验证结束命令,通过功能模块及其接口模块将信号送入芯片逻辑验证模型,模型接收到结束命令后产生数据接收完成信号,结束验证。
其中,步骤(1)、(2)中的芯片逻辑功能通过软件平台的仿真波形输出及示波器的波形输出来验证其逻辑功能。步骤(3)、(4)中,所有信号是通过数据采集后,得出的验证结论。
本发明的有益效果是,本发明的方法是利用FPGA搭建SOC芯片逻辑验证模型,运用软件平台和硬件平台相结合的系统验证方法,检验SOC芯片逻辑的正确性,并可以及时对逻辑设计中的错误和问题加以纠正,从而提高了SOC芯片的设计性能,缩短了开发周期。
附图说明
图1是服务器安全监控管理SOC芯片逻辑验证模型结构示意图;
图2是硬件平台结构示意图;
图3是SOC芯片逻辑验证方法流程图。
具体实施方式
图1是服务器安全监控管理SOC逻辑验证模型示意图。其中,PWM模块3、SMBUS驱动模块4、LCD驱动模块5、SPI控制模块6、I2S控制模块7、DSU串口8、JTAG9、Ethernet驱动模块10、PS/2驱动模块11、USB主设备模块12和LPC控制模块13通过AMBA总线与32位RISC处理器相连。
D/A转换模块14与I2S控制模块7相连,VGA控制模块15、SDRAM存储器16通过EMI总线与32位RISC处理器相连,LPC Flash17通过LPC总线与LPC控制模块13相连。上述模块除了D/A转换模块14、VGA控制模块15、SDRAM存储器16和LPC Flash17均以代码的形式配置到FPGA中,形成SOC逻辑验证模型1。
图2是硬件平台结构示意图。其中,风扇风速控制18与PWM模块3相连,6路SMBUS19与SMBUS驱动模块4相连,LCD屏20与LCD驱动模块5相连、A/D转换器21与SPI控制模块6相连,PC机及软件平台与DSU串口8和JTAG9相连,以太网络PHY电路23与Ethernet驱动模块10相连,键盘/鼠标24与PS/2驱动模块11相连,U盘25与USB主设备模块12相连,VGA输出26与VGA控制模块15相连,音频输出27与D/A转换模块14相连。PC机及软件平台22通过JTAG9对SOC逻辑验证模型进行配置;通过DSU串口8,使PC机及软件平台22与SOC逻辑验证模型之间相互通信,进行调试。
综上及参照图3所示,本专利使芯片验证流程简化,提高了SOC芯片的设计性能,缩短了开发周期,因而,具有很好的推广使用价值。
Claims (7)
1.一种服务器安全监控管理用SOC芯片逻辑验证方法,其特征在于该方法是利用现场可编程门阵列FPGA搭建一个服务器安全监控管理SOC芯片系统,该系统包括软件平台和硬件平台,硬件平台包括由现场可编程门阵列FPGA作模型的载体的芯片逻辑验证模型、各类功能模块及其接口模块,其中功能模块及其接口模块与芯片逻辑验证模型相连,软件平台用来实现对芯片逻辑验证模型、功能模块及其接口模块的配置和相关数据处理,并将信号输入到接口模块,通过各个功能模块产生芯片逻辑验证模型的输入信号,通过芯片逻辑验证模型产生对软件的控制信号,通过各个功能模块及其接口模块转化为软件显示标量。
2、根据权利要求1所述的SOC芯片逻辑验证方法,其特征在于:现场可编程门阵列FPGA通过软件平台进行配置,实现需验证SOC芯片的逻辑功能,逻辑功能由硬件描述语言实现。
3、根据权利要求1所述的SOC芯片逻辑验证方法,其特征在于,验证步骤如下:
(1)由硬件描述语言描述芯片逻辑验证模型,使其符合SOC芯片逻辑功能;
(2)软件平台通过功能模块及其接口,对现场可编程门阵列FPGA进行配置,配置的结果是使现场可编程门阵列FPGA成为SOC芯片逻辑验证模型,与所需验证的SOC芯片逻辑功能相同;
(3)软件平台产生验证开始命令,通过功能模块及其接口模块将信号送入芯片逻辑验证模型,信号经过芯片逻辑验证模型的逻辑处理送出至功能模块及其接口模块,通过各个功能模块及其接口模块转化为软件显示标量;
(4)软件平台产生验证结束命令,通过功能模块及其接口模块将信号送入芯片逻辑验证模型,模型接收到结束命令后产生数据接收完成信号,结束验证。
4、根据权利要求3所述的SOC芯片逻辑验证方法,其特征还在于:步骤(3)、(4)中,所有信号是通过数据采集后,得出的验证结论。
5、根据权利要求3所述的SOC芯片逻辑验证方法,其特征在于:步骤(1)、(2)中的芯片逻辑功能通过软件平台的仿真波形输出及示波器的波形输出来验证其逻辑功能。
6、根据权利要求1所述的SOC芯片逻辑验证方法,其特征在于,服务器安全监控管理用SOC逻辑验证模型,包括PWM模块、SMBUS驱动模块、LCD驱动模块、SPI控制模块、I2S控制模块、DSU串口、JTAG、Ethernet驱动模块、PS/2驱动模块、USB主设备模块、LPC控制模块、D/A转换模块、VGA控制模块、SDRAM存储器和LPC Flash,其中,PWM模块、SMBUS驱动模块、LCD驱动模块、SPI控制模块、I2S控制模块、DSU串口、JTAG9、Ethernet驱动模块、PS/2驱动模块、USB主设备模块和LPC控制模块通过AMBA总线与32位RISC处理器相连,D/A转换模块与I2S控制模块相连,VGA控制模块、SDRAM存储器通过EMI总线与32位RISC处理器相连,LPC Flash通过LPC总线与LPC控制模块相连,上述模块除了D/A转换模块、VGA控制模块、SDRAM存储器和LPCFlash外,均以代码的形式配置到现场可编程门阵列FPGA中,形成SOC逻辑验证模型。
7、根据权利要求1所述的SOC芯片逻辑验证方法,其特征在于,硬件平台结构包括,风扇风速控制、6路SMBUS、LCD屏、A/D转换器、PC机及软件平台、以太网络PHY电路、键盘/鼠标、U盘、VGA输出、音频输出,其中,风扇风速控制与PWM模块相连,6路SMBUS与SMBUS驱动模块相连,LCD屏与LCD驱动模块相连、A/D转换器与SPI控制模块相连,PC机及软件平台与DSU串口和JTAG相连,以太网络PHY电路与Ethernet驱动模块相连,键盘/鼠标与PS/2驱动模块相连,U盘与USB主设备模块相连,VGA输出与VGA控制模块相连,音频输出与D/A转换模块相连,PC机及软件平台通过JTAG对SOC逻辑验证模型进行配置;通过DSU串口,使PC机及软件平台与SOC逻辑验证模型之间相互通信,进行调试。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNA2008101398754A CN101377793A (zh) | 2008-09-22 | 2008-09-22 | 一种服务器安全监控管理用soc芯片逻辑验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNA2008101398754A CN101377793A (zh) | 2008-09-22 | 2008-09-22 | 一种服务器安全监控管理用soc芯片逻辑验证方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN101377793A true CN101377793A (zh) | 2009-03-04 |
Family
ID=40421332
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CNA2008101398754A Pending CN101377793A (zh) | 2008-09-22 | 2008-09-22 | 一种服务器安全监控管理用soc芯片逻辑验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101377793A (zh) |
Cited By (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101605071B (zh) * | 2009-07-02 | 2011-12-07 | 中兴通讯股份有限公司 | 一种传输协议芯片的验证方法和装置 |
CN102497596A (zh) * | 2011-12-02 | 2012-06-13 | 青岛海信信芯科技有限公司 | 电视网络信号的fpga平台调试装置及验证方法 |
CN105137864A (zh) * | 2015-07-31 | 2015-12-09 | 上海卫星工程研究所 | 空间飞行器下位机协控制SoC芯片 |
CN105487950A (zh) * | 2015-11-30 | 2016-04-13 | 致象尔微电子科技(上海)有限公司 | 芯片前端仿真检测方法及装置 |
CN109542518A (zh) * | 2018-10-09 | 2019-03-29 | 华为技术有限公司 | 芯片和启动芯片的方法 |
CN110399645A (zh) * | 2019-06-28 | 2019-11-01 | 深圳忆联信息系统有限公司 | 基于固态硬盘的fpga原型验证加速系统及实现方法 |
CN111859832A (zh) * | 2020-07-16 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | 一种芯片仿真验证方法、装置及相关设备 |
CN114860519A (zh) * | 2022-04-08 | 2022-08-05 | 中国人民解放军国防科技大学 | 一种面向大规模asic芯片的多芯片联合验证方法及装置 |
-
2008
- 2008-09-22 CN CNA2008101398754A patent/CN101377793A/zh active Pending
Cited By (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101605071B (zh) * | 2009-07-02 | 2011-12-07 | 中兴通讯股份有限公司 | 一种传输协议芯片的验证方法和装置 |
CN102497596A (zh) * | 2011-12-02 | 2012-06-13 | 青岛海信信芯科技有限公司 | 电视网络信号的fpga平台调试装置及验证方法 |
CN105137864A (zh) * | 2015-07-31 | 2015-12-09 | 上海卫星工程研究所 | 空间飞行器下位机协控制SoC芯片 |
CN105487950A (zh) * | 2015-11-30 | 2016-04-13 | 致象尔微电子科技(上海)有限公司 | 芯片前端仿真检测方法及装置 |
CN105487950B (zh) * | 2015-11-30 | 2019-04-09 | 致象尔微电子科技(上海)有限公司 | 芯片前端仿真检测方法及装置 |
CN109542518A (zh) * | 2018-10-09 | 2019-03-29 | 华为技术有限公司 | 芯片和启动芯片的方法 |
CN110399645A (zh) * | 2019-06-28 | 2019-11-01 | 深圳忆联信息系统有限公司 | 基于固态硬盘的fpga原型验证加速系统及实现方法 |
CN111859832A (zh) * | 2020-07-16 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | 一种芯片仿真验证方法、装置及相关设备 |
CN111859832B (zh) * | 2020-07-16 | 2022-07-08 | 山东云海国创云计算装备产业创新中心有限公司 | 一种芯片仿真验证方法、装置及相关设备 |
CN114860519A (zh) * | 2022-04-08 | 2022-08-05 | 中国人民解放军国防科技大学 | 一种面向大规模asic芯片的多芯片联合验证方法及装置 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101377793A (zh) | 一种服务器安全监控管理用soc芯片逻辑验证方法 | |
CN101373493A (zh) | 一种多媒体存储网关专用soc芯片逻辑验证方法 | |
CN107038280B (zh) | 一种软硬件协同仿真的验证系统及其方法 | |
CN100573537C (zh) | 一种soc芯片系统级验证系统及方法 | |
CN104657245B (zh) | 基于amba总线的模块级uvm验证平台的自动生成装置 | |
CN104486169B (zh) | 可重用自动检测及随机验证系统和方法 | |
CN101377795A (zh) | 一种工业便携式终端专用soc芯片逻辑验证方法 | |
CN103207338B (zh) | 一种基于Python脚本的汽车电子测试平台 | |
US20220292248A1 (en) | Method, system and verifying platform for system on chip verification | |
CN101183406A (zh) | 网络芯片模块级功能验证测试平台的建立方法 | |
CN111898328B (zh) | 一种基于FPGA的SoC原型验证系统 | |
CN107346249A (zh) | 一种基于模型的计算机软件开发方法 | |
US20100333061A1 (en) | Explicit state model checking of sl/sf models using the auto-generated code | |
CN104461812A (zh) | 一种利用已有Verilog BFM构造UVM验证组件的方法 | |
Weissnegger et al. | Simulation-based verification of automotive safety-critical systems based on EAST-ADL | |
CN105868114A (zh) | Fpga软件系统及其各模块测试系统和方法 | |
CN109726061A (zh) | 一种SoC芯片的验证方法 | |
US8645897B1 (en) | Integrated circuit design verification system | |
CN104008024A (zh) | 基于fpga的动态重构技术应用平台 | |
CN107016165A (zh) | 一种SoC自动化随机验证的方法 | |
CN110716537B (zh) | 一种仿真测试方法和装置 | |
CN105740579A (zh) | 一种连接uvm验证平台的搭建方法 | |
CN101377794A (zh) | 一种金融税控soc芯片逻辑验证系统 | |
CN101916305A (zh) | 一种复杂管脚芯片的验证方法 | |
Kamireddy et al. | UVM based reusable verification IP for wishbone compliant SPI master core |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C12 | Rejection of a patent application after its publication | ||
RJ01 | Rejection of invention patent application after publication |
Open date: 20090304 |