参数资料
| 型号： | SW-QUARTUS-SE-FIX |
| 厂商： | Altera |
| 文件页数： | 125/136页 |
| 文件大小： | 0K |
| 描述： | QUARTUS II ANNUAL SUBSCRIPTION |
| 应用说明： | Software Licensing App Note |
| 产品培训模块： | Quartus II Design Software |
| 标准包装： | 1 |
| 类型： | 设计软件 |
| 适用于相关产品： | Altera 设备 |
| 产品目录页面： | 605 (CN2011-ZH PDF) |
| 其它名称： | 544-1247 FIXEDPC |
第1页第2页第3页第4页第5页第6页第7页第8页第9页第10页第11页第12页第13页第14页第15页第16页第17页第18页第19页第20页第21页第22页第23页第24页第25页第26页第27页第28页第29页第30页第31页第32页第33页第34页第35页第36页第37页第38页第39页第40页第41页第42页第43页第44页第45页第46页第47页第48页第49页第50页第51页第52页第53页第54页第55页第56页第57页第58页第59页第60页第61页第62页第63页第64页第65页第66页第67页第68页第69页第70页第71页第72页第73页第74页第75页第76页第77页第78页第79页第80页第81页第82页第83页第84页第85页第86页第87页第88页第89页第90页第91页第92页第93页第94页第95页第96页第97页第98页第99页第100页第101页第102页第103页第104页第105页第106页第107页第108页第109页第110页第111页第112页第113页第114页第115页第116页第117页第118页第119页第120页第121页第122页第123页第124页当前第125页第126页第127页第128页第129页第130页第131页第132页第133页第134页第135页第136页
C HAPTER 8: EDA T OOL S UPPORT
F ORMAL V ERIFICATION
Figure 4. File Types Compared in Formal Verification
Gate-Level Formal Verification
Verilog Quartus
Mapping
Files ( .vqm )
Compared with
RTL-Level Formal Verification
(Supported for Cadence Encounter Conformal Only)
RTL Verilog HDL or
VHDL source design
files ( .v, .vhd )
Quartus II-generated
Verilog Output
Files ( .vo )
Quartus II-generated
Verilog Output
Files ( .vo )
Compared with
Using the Cadence Encounter
Conformal Software
You can use the Cadence Encounter Conformal software to perform formal
verification on your Quartus II designs. The formal verification software
determines whether or not the Quartus II software correctly interprets the
logic in the Verilog Quartus Mapping file or the source VHDL or
Verilog HDL design file during synthesis and fitting.
f
For Information About
Using Cadence Encounter Conformal
software
Refer To
Cadence Encounter Conformal Support
chapter in volume 3 of the Quartus II
Handbook
“About Using the Encounter Conformal
Software with the Quartus II Software” in
Quartus II Help
116
■
I NTRODUCTION TO THE Q UARTUS II S OFTWARE
A LTERA C ORPORATION
相关PDF资料 |
PDF描述 |
|---|---|
| SW-QUARTUS-SE-FLT | SUBSCRIPTION FLOATALL REPL |
| SW006012 | C COMPILER FOR DSPIC30F FAMILY |
| SW006013 | C COMPILER MPLAB FOR DSPIC DSC |
| SW006015 | C COMPILER MPLAB C32 |
| SW300003-EVAL | LIBRARY SOFT MODEM-EVAL ONLY |
相关代理商/技术参数 |
参数描述 |
|---|---|
| SW-QUARTUS-SE-FLT | 功能描述:开发软件 FLOATING LICENSE FOR QUARTUS II RoHS:否 制造商:Atollic Inc. 产品:Compilers/Debuggers 用于:ARM7, ARM9, Cortex-A, Cortex-M, Cortex-R Processors |
| SWR | 制造商:RUBYCON 制造商全称:RUBYCON CORPORATION 功能描述:METALLIZED POLYESTER FILM CAPACITORS |
| SWR-1 | 制造商:Sunhayato 功能描述: |
| SWR100MD | 功能描述:基准电压& 基准电流 Sine Wave Ref. Custom RoHS:否 制造商:STMicroelectronics 产品:Voltage References 拓扑结构:Shunt References 参考类型:Programmable 输出电压:1.24 V to 18 V 初始准确度:0.25 % 平均温度系数（典型值）:100 PPM / C 串联 VREF - 输入电压（最大值）: 串联 VREF - 输入电压（最小值）: 分流电流（最大值）:60 mA 最大工作温度:+ 125 C 封装 / 箱体:SOT-23-3L 封装:Reel |
| SWR-10-12 | 制造商:Raxxess 功能描述:Wall Mount 10RU Hinged Rack with 12" Usable Depth |
发布紧急采购，3分钟左右您将得到回复。