Welcome！[Sign In] ！[Sign Up]！
Front-page it | Collect it | [中国-简体中文]
FAQ Fav
Location:
Search - SVA

Search list

[Other] amba3core

Description: amba3 sva 完全验证的代码，有verilog的和systemverilog的-amba3 sva fully validate the code, and the Verilog and SystemVerilog
Platform: | Size: 280576 | Author: kevin | Hits:

[Windows Develop] Ampver1.0

Description: 本程序的CPU采用89C54，时钟频率为6MHz；显示驱动采用UPD16311 专用芯片；显示屏采用SVA-16MM17荧光显示屏；红外遥控发射芯片采用 PT6222；线路音量音调采用M62446FP；话筒音量音调采用M62420SP；卡 拉OK采用M65831AP-This procedure of CPU used 89C54, clock frequency of 6MHz display driver used UPD16311 ASIC display using SVA-16MM17 Fluorescent Display infrared remote launch chip PT6222 line volume tone used M62446FP microphone volume tone used M62420SP card OK the use of pull M65831AP
Platform: | Size: 20480 | Author: 张绍斌 | Hits:

[VHDL-FPGA-Verilog] sva_assetion

Description: 学习SVA的最基本的例子，对于想了解systemverilog assertion的相关人员非常有用！-SVA learn the most basic example, the systemverilog assertion would like to know the person very useful!
Platform: | Size: 1024 | Author: 李忠孝 | Hits:

[Other] sva

Description: SVA reference manual-quick system verilog reference manual
Platform: | Size: 18432 | Author: laosan | Hits:

[VHDL-FPGA-Verilog] sva

Description: sva断言，Assertions on overlapping behaviour with SVA-Assertions on overlapping behaviour with SV
Platform: | Size: 2048 | Author: 程家诺 | Hits:

[VHDL-FPGA-Verilog] SVA-script

Description: 一个自己总结的systemverilog assertion读书笔记，基本上systemverilog assertion的语法比较全。简单易懂。适合SVA入门。-systemverilog assertion script
Platform: | Size: 2082816 | Author: 张松 | Hits:

[VHDL-FPGA-Verilog] axi4-checker

Description: ARM公司官方的AXI4总线的SVA检测。带完整说明文档，AXI4，AXI4-Lite，AXI4-Stream协议均已经包含-ARM s official AXI4 bus SVA testing. With complete documentation, AXI4, AXI4-Lite, AXI4-Stream protocol are already included
Platform: | Size: 454656 | Author: Linear | Hits:

[VHDL-FPGA-Verilog] axi3-checker

Description: ARM公司官方的AXI3总线的SVA检测。带完整说明文档-ARM s official AXI3 bus SVA testing. With complete documentation
Platform: | Size: 468992 | Author: Linear | Hits:

[VHDL-FPGA-Verilog] SystemVerilog-Assertions-source-code

Description: SystemVerilog Assertion 应用指南一书的每章断言源代码，很好的SVA学习资料-SystemVerilog Assertion Application Guide for each chapter of a book asserts the source code, a very good learning materials SVA
Platform: | Size: 3216384 | Author: 杨斌 | Hits:

[Other] SVA-grammar

Description: verilog断言（SVA）语法。断言assertion被放在verilog设计中，方便在仿真时查看异常情况。当异常出现时，断言会报警。一般在数字电路设计中都要加入断言，断言占整个设计的比例应不少于30 。以下是断言的语法-verilog assertions (SVA) syntax. Assertion assertion is placed verilog design for easy viewing anomalies in the simulation. When an exception occurs, the assertion will alarm. Usually in digital circuit design must join assertion assert the total design should be less than 30 proportion. The following is the assertion syntax
Platform: | Size: 33792 | Author: 毛毛雨 | Hits:

[JSP/Java] package-javaapplication1

Description: 1. 输入字符串sV后，将其中的标点符号（, . ! ?）转换成空格 。全部字符转换为小写字母； 2. 字符级检测：全部字符为小写字母、数字或空格； 3. 再次创建Scanner对象，从sV中扫描词组，= new Scanner(sV) ，用next()方法，将词组存放到字符串数组sVa[]中； 4. 词组级检测：剔除纯英文字符串以外的非法字符串； 5. 排序，剔除相同的英文单词，输出。 测试文本： The USB 3.0 specification was published on 12 November 2008. Its main goals were to increase the data transfer rate ,up to 5 Gbs, decrease power consumption, increase power output, and be backwards compatible with USB 2.0. USB 3.0 includes a new, higher speed bus called SuperSpeed in parallel with the USB 2.0 bus.For this reason, the new version is also called SuperSpeed.The first USB 3.0 equipped devices were presented in January 2010. -1. input string sV, which will be punctuation (.!?) Into space. All characters are converted to lowercase 2. character-level detection: all characters to lowercase letters, numbers or spaces 3. Create a Scanner object again, sV scanning phrase, = new Scanner (sV), with the next () method, phrase stored in a string array sVa [] the level detector 4. phrase: exclude other than plain English string of illegal string 5. sorting, culling the same English words, output. Test text:. The USB 3.0 specification was published on 12 November 2008. Its main goals were to increase the data transfer rate, up to 5 Gbs, decrease power consumption, increase power output, and be backwards compatible with USB 2.0 USB 3.0 includes a new, higher speed bus called SuperSpeed in parallel with the USB 2.0 bus.For this reason, the new version is also called SuperSpeed.The first USB 3.0 equipped devices were presented in January 2010.
Platform: | Size: 11264 | Author: Chris | Hits:

[matlab] geostrophy

Description: 用于海洋科学中计算地球流的一系列matlab程序，非常实用，主要包括地转流输运、地转流速- Collection of functions to calculate Geostrophic Currents # Contents of ocean/geostrophy geo_transp - function [ct,pv,lav,gpa1,gpa2] = geo_transp(p1,t1,s1,la1,p2,t2,s2,la2,pr) geo_veloc - GE_VE [v,pv,lav,lov] = geo_veloc(p1,t1,s1,la1,lo1,p2,t2,s2,la2,lo2,pr) geovel - V = geovel(s,t,p,lat,lon) geovel2d - Calculation of geostrophic velocities geovel3d - Calculation of geostrophic velocities geovelrho - V = geovelrho(rho,p,lat,lon) geovelsva - V = geovelsva(sva,p,lat,lon) gp2uv2d - Calculation of geostrophic velocities. gp2uv3d - Calculation of geostrophic velocities
Platform: | Size: 14601216 | Author: 楠楠 | Hits:

[Other] mouseLine

Description: Windows编程实现鼠标拖动画线 啊速度擦 否否就能让他它反映内容 突然遗尿人员当日公布别人吧 难道他要(svvsav sva svvgb gfnfg bfvdt eger dfgbgb rebergertgbertbetr)
Platform: | Size: 16518144 | Author: fanTuasy | Hits:

CodeBus www.codebus.net