Integrated Finite State Machine and RF Timing Modules for VMEbus and VXIbus Instrumentation

合集下载

计算机常见英文缩写

计算机常见英文缩写Virtue carries wealth. On the morning of November 2, 2022计算机常用英文缩写3DPA—3D Positional Audio—3D定位音频3DS—Three Dimension Studio—三维摄影室AAT—Average Access Time—平均存取时间ABS—Auto Balance System—自动平衡系统AC—Alternating Current—交流电ACOPS—Automatic CPU Overheat Prevention System—自动CPU过热预防系统ACPI—Advanced Configuration And Power Interface—高级配置与电源接口ADC—Analog To Digital Convent—模数转换器ADIMM—Advanced Dual In-line Memory Modules—高级双重内嵌式内存模块ADO—ActiveX Data Object—ActiveX数据对象ADSL—Asymmetric Digital Subscriber Line—非对称数字用户路线AE—Atmospheric Effect—雾化效果AGP—Accelerated Graphics Port—加速图形接口AGU—Address Generation Unit—地址产生单元AHA—Accelerated Hub Architecture—加速中心架构AH—Authentication Header—鉴定头文件AI—Artificial Intelligence—人工智能AL—Artificial Life—人工生命ALU—Arithmetic Logic Unit—算术逻辑单元ANSI—American National Standard Institute—美国国家标准协会AOL—American Online—美国在线APIC—Advanced Programmable Interrupt Controller—高级程序中断控制器APM—Advanced Power Management—高级电源管理APP—Accelerated Parallel Processing—AMD加速并行处理技术APPE—Advanced Packet Parsing Engine—高级数据包解析引擎ARP—Address Resolution Protocol—地址解析协议ASC—Anti Static Coating—防静电涂层ASCII—American Standard Code For Information Interchange—美国信息交换标准代码ASIC—Application Specific Integrated Circuit—特殊应用集成电路AST—Average Seek Time—平均寻道时间ATAPI—Advanced Technology Attachment Packet Interface—高级技术附加数据包接口ATL—ActiveX Template Library—ActiveX模版库ATM—Asynchronous Transfer Mode—异步传输模式AV—Analog Video—模拟视频AVI—Audio Video Interleave—音频视频插入B2C—Business To Custom—商家对客户BASIC—Beginner—All-Purpose Symbolic Instruction Code—初学者通用符号指令代码BBS—Bulletin Board System—公告牌系统BCF—Boot Catalog File—启动目录文件BGA—Ball Grid Array—球栅阵列BIF—Boot Image File—启动映像文件BIOS—Basic Input Output System—基本输入输出系统BIS—Boot Integrity Service—启动整体服务BMS—Black Matrix Screen—超黑矩阵屏幕BOPS—Billion Operation Per Second—十亿次计算每秒BPT—Branch Prediction Table—分支预测表BTB—Branch Target Buffer—分支目标缓冲CAD—Computer Aided Design—计算机辅助设计CAE—Computer Aided Engineering—计算机辅助工程CAI—Computer Aided Instruction—计算机辅助教学CAM—Common Access Mode—公共存取模型CAM—Computer Aided Manufacturing—计算机辅助制造CBIC—Cell based Integrated Circuit—基于单元的集成电路CC—Companion Chip—同伴芯片CCD—Charge Coupled Dvice—电流连接设备CCM—Call Control Management—拨号控制管理CC-NUMA—Cache Coherent Non Uniform Memory Access—连贯缓冲非统一内存寻址CCT—Clock Cycle Time—时钟周期CDMA—Code Division Multiple Access—码分多址CDR—Compact Disc Recordable—可刻录光盘CD-ROM—Compact Disc Read Only Memory—光驱CD-RW—Compact Disc Rewriter—刻录机CDSL—Consumer Digital Subscriber Line—消费者数字订阅线路CE—Consumer Electronic—消费电子CEM—Cube Environment Mapping—立方环境映射CEO—Chief Executive Officer—首席执行官CG—Computer Graphic—计算机生成图像CGI—Common Gateway Interface—通用网关界面CHRP—Common Hardware Reference Platform—公用硬件平台CIEA—Commercial Internet Exchange Association—商业英特网交易协会CIR—Committed Information Rate—约定信息速率CISC—Complex Instruction Set Computing—复杂指令集计算机CLV—Constant Linear Velocity—恒定线速度CMOS—Complementary Metal Oxide Semiconductor—互补金属氧化物半导体存储器COB—Cache On Board—板上集成缓存COD—Chip On Board—芯片内集成缓存COM—Component Object Model—组件对象模型COO—Chief Organization Officer—首席管理官CPGA—Ceramic Pin Grid Array—陶瓷针形栅格阵列CPLD—Complex Programmable Logic Device—复杂可编程逻辑器件CPS—Characters Per Second—每秒字符数CPU—Central Processing Unit—中央处理器CRC—Cyclical Redundancy Check—循环冗余检查CRM—Custom Relationship Management—客户关系管理CRT—cathode Ray Tube—阴极射线管CSE—Configuration Space Enable—可分配空间CSS—Cascading Style Sheets—层叠样式表CTO—Chief Technology Officer—首席技术官CTS—Carpal Tunnel Syndrome—腕管综合症CUDA—Computer Unified Device Architecture—计算机统一装置结构CVS—Computer Visual Syndrome—计算机视觉综合症DAC—Dual Address Cycle—双重地址周期DAE—Digital Audio Extraction—数字音频抓取DB—Deep Buffer—深度缓冲DCD—Dynamic Content Delivery—动态内容推送DC—Domain Controller—域控制器DCE—Data Communication Equipment—数据通信设备DCOM—Distributed Component Object Model—分布式组件对象模型DCT—Display Compression Technology—显示压缩技术DDC—Display Data Chanel—显示数据通道DDN—Digital Data Network—数字数据网DDR—Double Data Rate—双倍速率DDSS—Double Dynamic Suspension System—双层动力悬吊系统DEC—Direct Etching coating—表面蚀刻涂层DES—Data Encryption Standard—数据加密标准DFP—Dynamic Feedback Protocol—动态反馈协议DHCP—Dynamic Host Configuration Protocol—动态主机配置协议DIB—Dual Independent Bus—双独立总线DIC—Digital Image Controller—数字图像控制DIMM—Dual Inline Memory Module—双列直插内存模块DIP—Double In-line Package—双列直插式封装DIR—Direct Infrastructure rendering—基层直接渲染DLL—Dynamic Link Library—动态数据链接库DLP—Digital Light Process—数字光处理DME—Direct Memory Execute—直接内存执行DMI—Desktop Management Interface—桌面管理界面DMI—Dynamic Method Invocation—动态方法调用DNS—Digital Nervous System—数字神经系统DNS—Domain Name System—域名系统DOS—Disk Operating System—磁盘操作系统DP—Dual Processor—双处理器DPI—Dots Per Inch—每英寸点数DPMS—Display Power Management Signal—显示能源管理信号DQL—Dynamic Quadrapole Lens—动态四极镜DRC—Design Rule Check—设计规则检查DSD—Direct Stream Digital—直接比特流数字DSL—Digital Subscriber Line—数字用户专线DSP—Digital Signal Processing—数字信号处理DST—Drive Self Test—驱动自检程序DTD—Document Type Definition—文件类型定义DTE—Digital Terminal Equipment—数据终端设备DVD—Digital Versatile Disc—数字多功能光DVD—Digital Video Disc—数字视频光盘DVD-RAM—Digital Versatile Disc Random Access Memory—DVD随机存储器DVI—Digital Video Interface—数字视频接口E3—Electronic Entertainment Expo—美国E3大展EAX—Environment Audio Extension—环境音效扩展EB—Expansion Bus—扩展总线EBR—Excess Burst Rate—超频突发速率ECC—Elliptical Curve Crypto—椭圆曲线加密EC—Embedded Controller—嵌入式控制ECP—Extended Capabilities Port—扩展并行口ECTS—European Computer Trade Show—欧洲计算机商贸展示会EDIF—Electronic Design Interchange Format—电子设计交换格式EEPROM—Electrically Erasable Programmable Read Only Memory—电擦可编程只读存储器EFEAL—Extension Field Elliptically Aperture Lens—可扩展扫描椭圆孔镜头EIDE—Enhanced Integrated Driver Electronic—增强电子集成驱动器EISA—Enhanced Industry Standard Architecture—增强工业标准架构EMI—Electromagnetic Interference—电磁干扰EMP—Emergency Management Port—紧急事情管理端口EPP—Enhanced Parallel Port—增强并行口EPU—Energy Processing Unit—能耗调控单元ERC—Electronic Rule Check—电气规则检查ERP—Enterprise Resource Planning—企业资源计划ERP—Estimated Retail Place—估计零售价ESCD—Extended System Configuration Data—扩展系统配置数据FADD—Floating Addition—浮点加FAT—File Allocation Table—文件分配表FBC—Frame Buffer Cache—帧缓冲缓存FCPGA—Flip Chip Pin Grid Array—反转芯片针脚栅格阵列FDBM—Fluid Dynamic Bearing Motor—液态轴承马达FDC—Floppy Disk Controller—软盘控制装置FDD—Floppy Disk Drive—软盘FDIV—Floating Divided—浮点除FDM—Frequency Division Multiplexing—频分多路复用FIR—Finite Impulse Response—有限推进响应FMUL—Floating Multiplication—浮点乘FMV—Full Motion Video—全动态影像FPGA—Filed Programmable Grate Array—现场可编程门阵列FPS—First Person Shooting—第一人称射击FPU—Floating Processing Unit—浮点运算单元—Frames Per Second—每秒传输帧数FRICC—Federal Research Internet Coordinating Committee—联邦调查因特网协调委员会FSAA—Full Scene Anti—aliasing—全景抗锯齿FSE—Frequency Shifter Effect—频率转换效果FSM—Finite Status Machine—有限状态机FSUB—Floating Subtraction—浮点减FTP—File Transfer Protocol—文件传输协议FWH—Firmware Hub—固件中心GDI—Graphic Device Interface—图形设备接口GIF—Generalized Timing Formula—一般程序时间GMCH—Graphic Memory Control Hub—图形内存控制中心GMR—Giant Magneto Resistive—巨型磁阻GPF—Generation Protection Fault—一般保护性错误GPS—Global Positioning System—全球定位系统GPU—Graphic Processing Unit—图形处理器GSM—Global System For Mobile Communication—全球移动通讯系统GUI—Graphical User Interface—图形用户界面GVPP—Generic Visual Perception Processor—常规视觉处理器HAL—Hardware Abstraction Layer—硬件抽象化层HCI—Host Control Interface—主机控制接口HCT—Hardware Compatibility Test—硬件兼容性测试HDA—Head Disk Assembly—磁头集合HDCP—High-Bandwidth Digital Content Protection—高带宽数字内容保护HDD—Hard Disk Drive—硬盘HDL—Hardware Description Language—硬件描述语言HDMI—High Definition Multimedia Interface—高清晰度多媒体接口HDSL—High-Speed Digital Subscriber Line—高速率数字用户路线HDTV—High Definition TV—高清电视HEL—Hardware Emulation Layer—硬件模拟层HiFDA—High_Capacity Floppy Disk—高容量软盘HMOS—High Performance Metal Oxide Semiconductor—高性能金属氧化物半导体HPA—High Power Amplifier—高功率放大器HPS—High Performance Server—高性能服务器HPW—High Performance Workstation —高性能工作站HRIF—Head Related Transfer Function—头部关联传输功能HTML—Hyper Text Markup Language—超文本标志语言HTPC—Home Theater Personal Computer—家庭影院电脑HTTP—Hyper Text Transmission Protocol—超文本传输协议HUD—Head Up Display—平视显示器IA—Intel Architecture—英特尔架构ICD—Installable Client Drive—可安装客户端驱动程序ICMP—Intel Control Message Protocol—英特尔控制报文协议ICU—Instruction Control Unit—指令控制单元IDCT—Inverse Discrete Cosine Transfer—非连续反余弦变换IDF—Intel Developer Forum—因特尔开发者论坛IEEE—The Institute Electrical And Electronic Engineerings—美国电气和电子工程师协会IETF—Intel Engineer Task Force—因特网工程任务组IEU—Integer Excute Unit—整数执行单元IID—Interaural Intensity Difference—两侧声音强度差别IIR—Infinite Impulse Response—无限推进响应IIS—Internet Information Service—互联网信息服务IKE—Intel Key Exchange—因特网密钥交换协议IMM—Intel Mobil Module—因特尔移动模块IP—Internet Protocol—互联网协议IPPR—Image Processing And Pattern Recognition—图像处理和模式识别IPS—In Plane Switching—平面转换IRC—Internet Relay Chat—互联网接力聊天IRQ—Interrupt Request—中断请求IRST—Intel Rapid Storage Technology—英特尔快速存储技术ISA—Industry Standard Architecture—工业标准结构ISA—Instruction Set Architecture—指令集架构ISDN—Integrated Service Digital Network—综合服务数字网络IS—Internal Stake—内置堆栈ISO—International Standard Organization—国际标准化组织ISP—Intel Service Provider—因特网服务供应商JIT—Just In Time—准时制生产JVM—Java Virtual Machine—Java虚拟机KBC—Keyboard Controller—键盘控制器LBA—Logical Block Addressing—逻辑块寻址LCD—Liquid Crystal Display—液晶显示屏LCM—LCD Module—LCD显示模组LCOS—Liquid Crystal On Silicon—硅上液晶LDAP—Lightweight Directory Access Protocol—轻权目录访问协议LDT—Lighting Data Transport—闪电数据传输LED—Light Emitting Diode—发光二极管LF—Linear Filtering—线性过滤LMDS—Local Multipoint Distributed System—局域多点分布式系统LPM—Library Parameterized Module—参数化模块库LTE—Long Term Evolution—长期演进LVDS—Low Voltage Differential Single—低压差分信号LVS—Layout Versus Schematic—版图原理图对比MAC—Media Access Controller—介质访问控制MALS—Multi Astigmatism Lens System—多重散光聚焦系统MB—Motherboard—主机板MDC—Mobile Daughter Card—移动式子卡MFC—Microsoft Foundation Classes—微软基础库MFD—Multi Function Device—多功能设备MIDI—Musical Instrument Digital Interface—乐器数字接口MIME—Multipurpose Internet Mail Extension—多用途因特网邮件扩展协议MIOC—Memory And I/O Bridge Controller—内存和I/O桥控制器MiPad—Multimodal Interactive Notepad—多语态互动式记事本MIS—Management Information System—管理信息系统MMVF—Multi-Media Video File—多媒体视频文件MPEG—Moving Picture Expert Group—运动图像专家组MPP—Massive Parallel Processing—巨量平行处理MPS—Multi Processor Specification—多重处理器规范MRP—Manufacturing Resource Planning—制造资源计划MRW—Midrange Workstation—中型工作站MSI—Microsoft Installer—微软安装程序MS—Magnetic Sensor—磁场感应器MSN—Microsoft Network—微软网络MSP—Media Stream Processor—媒体流处理器MTBF—Mean Time Before Failure—平均故障时间MTH—Memory Transfer Hub—内存转换中心MUD—Multiple User Dungeon—多用户地牢NAOC—No-Account Overclock—无效超频NAS—Network Attached Storage—网络连接式存储NAT—Network Area Translation—网络地址转换NBC—North Bridge Chip—北桥芯片NDIS—Network Driver Interface specification—网络驱动接口规范NDS—Novell Directory Service—网威目录服务NE—Netlist Extract—网表提取NIC—Network Interface Card—网络接口卡NNTP—Network News Transport Protocol—网络新闻传输协议NPC—Non Player Character—非玩着人物NT—New Technology—新技术OCR—Optical Character Recognition—光学字符识别OEM—Original Equipment Manufacturer—原始设备制造商OLGA—Organic Land Grid Array—基板栅格阵列OOP—Object Oriented Programming—面向对象的程序设计OPT—Optimized Production Technology—优化生产技术OS—Operating System—操作系统PCAV—Part Constant Angular Velocity—部分恒定角速度PCB—Printed Circuit Board—印刷电路板PCI—Peripheral Component Interconnect—外围装置连接端口PC—Personal Computer—个人计算机PC—Perspective Correction—透视纠正PDA—Personal Digital Assistant—个人数字助理PDS—Public Directory Support—公众目录支持PE—Parameter Extract—参数提取PGC—Parallel Graphic Configuration—并行图像设置PIB—Processor In a Box—盒装处理器PIC—Programmable Interrupt Controller—可编程中断控制器PICS—Platform For Internet Content Selection—英特网内容选择平台PIM—Personal Information Management—个人信息管理系统PLCC—Plastic Leadless Chip Carrier—塑料无引脚芯片载体PLD—Programmable Logic Device—可编程逻辑器件PLL—Phase Locked Loop—锁相环PNP—Plug And Play—即插即用POF—Polymer Optical Fiber—聚合体光纤POST—Power On Self Test—开机自检PPM—Pages Per Minute—每分钟打印页数PPTP—Point To Point Tunneling Protocol—点对点通道协议PQFP—Plastic Quad Flat Package—塑料方型扁平式封装PRML—Partial Response Maximum Likelihood—最大可能部分反应PSK—Pre-Shared Key—预共享密钥PSN—Processor Serial Numbers—处理器序列号PSU—Power Supply Unit—计算机电源PSW—Program Status Word—程序状态字PXE—Per-boot Execution Environment—预启动运行环境QBM—Quad Band Memory—四倍边带内存QOS—Quality Of Service—服务质量QPA—Quad Port Acceleration—四倍接口加速RADSL—Rate Adaptive Digital Subscriber Line—速率自适应数字用户路线RAM—Random Access Memory—内存随机存储器RARP—Reverse Address Resolution Protocol—反相地址解析协议RDF—Resource Description Framework—资源描述框架RISC—Reduced Instruction Ser Computing—精简指令集计算机RMA—Real Media Architecture—实媒体架构RNG—Random Number Generator—随即数字发生器ROB—Reorder Buffer—重新排列缓存区RPG—Role Playing Game—角色扮演游戏RPM—Revolution Per Minute—每分钟转数RRVP—Resource Reser Vation Protocol—资源保留协议RSD—Removable Storage Device—移动式存储设备RSDS—Reduced Swing Differential Single—小幅度摆动差动信号RTC—Real Time Clock—实时时钟RTL—Register Transmit Level—寄存器传输级RTSP—Real Time Streaming Protocol—实时流协议RTS—Real Time Strategy—即时战略RTS—Request To Send—需求发送SAM—Sales Available Market—可发售市场SAP—Sideband Address Port—边带寻址端口SATA—Serial Advanced Technology Attachment—串行高级技术附件SBC—South Bridge Chip—南桥芯片SBFS—Sample Boot Flag Specification—简单引导标记规范SCSI—Small Computer System Interface—小型计算机系统接口SC—Static Core—静态内核SCT—Software Compatibility Test—软件兼容性测试SDK—Software Development Kit—软件开发工具包SDRAM—Synchronous Dynamic Random Access Memory—同步动态随机存储器SDTV—Standard Definition Television—标准清晰度电视SEC—Single Edge Connector—单边连接器SEM—Spherical Environment Mapping—球形环境映射SET—Secure Electronic Transaction—安全电子交易SGML—Standard Generalized Markup Language—标准通用标记语言SIMD—SIngle Instruction Multi Data—单指令多数据SIV—System Information Viewer—系统信息观察SLI—Scanline Interleave—扫描线间插SMART—Self-Monitoring Analysis And Reporting Technology—自动检测、分析和报告技术SMB—System Management Bus—系统管理总线SMD—Surface Mount Device—表面安装设备SMIL—Synchronous Multimedia Integrated Language—同步多媒体集成语言SMIP—Simple Mail Transfer Protocol—简单邮件传输协议SMI—System Management Interrupt—系统管理中断SMM—System Management Mode—系统管理模式SMP—Symmetric Multi-Processing—对称式多重处理器架构SNMP—Simple Network Management Protocol—简单网络管理协议SNR—Single To Noise Rate—信噪比SOAC—System ON A Chip—系统集成多功能芯片SOC—System On Chip—片上系统SOI—Silicon On Insulator—绝缘体硅片SOS—Server Operating Systems—服务器操作系统SPD—Serial Presense Detect—串行存在检查SPEC—System Performance Evaluation Check—系统性能评估测试SPS—Shock Protection System—震动保护系统SP—Stack Pointing—堆栈指针SQRC—Square Root Calculation—平方根计算SRA—Symmetric Rendering Architecture—对称渲染架构SRR—Segment Register Rewrite—区段寄存器重写SRS—Sound Retrieval System—声音修复系统SSB—Super South Bridge—超级南桥芯片SSD—Solid State Disk—固态硬盘SSE—Streaming SIMD Extensions—单一指令多数据流扩展SSI—Small Scall Integration—小规模集成STB—Set Top Boxes—电视顶置盒STD—Suspend To Disk—磁盘唤醒STR—Suspend To RAM—内存唤醒STS—Switched Internet working Service—交换式网络互联服务SUA—Single User Account—单用户账号SVR—Switching Voltage Regulator—交换式电压调节TCA—Twin Cache Architecture—双缓冲结构TCO—Total Cost Of Ownership—拥有总成本TCP—Transmission Control Protocol—传输控制协议TCP—Transmission Control Protocol—传输控制协议TDP—Thermal Design Power—散热设计功耗TFT—Thin Film Transistor—薄膜晶体管TLB—Translate Look Side Buffers—翻译旁视缓冲器TOP—The Olympic Partner—奥林匹克全球合作伙伴TPS—Transactions Per Second—每秒处理事项数TQM—Total Quality Management—全面质量管理UART—Universal Asynchronous Receive/Transmitter—通用异步收发器UCC—Ultra Clear Coating—超清晰涂层UDMA—Ultra Direct Memory Access—高级直接内存访问UDP—User Datagram protocol—用户数据报协议UDP—User Datagram Protocol—用户数据报协议ULS—User Location Service—用户定位服务UPA—Ultra Port Architecture—超级端口结构UPS—Uninterrupted Power Supply—不间断电源USB—Universal Serial Bus—通用串行总线USDM—Unified System Diagnostic Manager—统一系统检测管理USWC—Uncacheabled Speculative Write Combination—无缓冲随即联合写操作VALU—Vector Arithmetic Logic Unit—向量算术逻辑单元VBI—Vertical Blanking Interval—垂直空白间隙VCMA—Virtual Channel Memory Architecture—虚拟通道内存结构VDM—Windows Driver Model—视窗驱动程序模块VDSL—Very-high-bit-rate Digital Subscriber Loop—甚高速数字用户环路VDT—Video Display Terminal—视频显示终端VESA—Video Electronic Standard Association—视频电子标准协会VFAT—Virtual File Allocation Table—虚拟文件分配表VFM—Wired For Management—有线管理VGA—Video Graphics Array—视频图形阵列VID—Voltage Identification Definition—电压识别认证VIP—Video Interface Port—视频接口VLIW—Very Long Instruction Word—超长指令集VLSI—Very Large Scale Integrated—超大规模集成电路VOD—Video On Demand—视频点播VPN—Virtual Private Network—虚拟局域网VPU—Vector Permutate Unit—向量排列单元VQTC—Vector-Quantization Texture Compression—向量纹理单元VRE—Voltage Reduction Enhance—增强型电压调节VRML—Virtual Reality Makeup Language—虚拟现实结构化语言VRM—Voltage Regulator Module—电压调整模块VSA—Virtual System Architecture—虚拟系统架构VSIS—Video Single Standard—视频信号标准VXML—Voice Extensible Markup Language—语音扩展标记语言WAIS—Wide Area Information Service—广义信息服务器WAN—Web Area Network—广域网WG—Wave Guide—波导合成Wi—Fi—Wireless Fidelity—无线保真WLAN—Wireless Local Area Network—无线局域网络WMI—Wired For Management Initiative—主动式管理线路WOL—Wake On Lan—局域网唤醒WPAN—Wireless Personal Area Network—无线个域网WSH—Windows Scripting Host—视窗脚本程序—World Wide Web—万维网XSL—Extensible Style Sheet Language—可扩展设计语言ZAM—Zero Administration For Windows—零管理视窗系统ECL—Emitter Couple Logic—射极耦合逻辑CAM—Content Addressable Memory—内容寻址存储器MIPS—Million Instruction Per Second—每秒处理百万级指令。

android状态机(wifi statemachine)之无线状态机

mDriverLoaded State
mSupplicantSt artingState
mSupplicantSt artedState
①
②
CMD_LOAD_DRIVER
③
④
⑤ ⑥
mDriverStarte dState
CMD_START_SUPPLICANT
① ② ③ ④ ⑤ ⑥ ⑦
If(WifiNative.isDriverLoaded) transitionTo Case:CMD_LOAD_DRIVER transitionTo Case:WifiP2pService.WIFI_ENABLE_PROCEED(from P2pStateMachine) transitionTo Case: CMD_LOAD_DRIVER_SUCCESS(send by loadingstate) transitionTo Case: CMD_START_SUPPLICANT,If(WifiNative.startSupplicant) transitionTo Case: WifiMonitor.SUP_CONNECTION_EVENT, transitionTo if (mIsScanMode), transitionTo
A particular FSM is defined by a list of its states, and the triggering condition for each transition. Example: vending machines, elevators, traffic lights , and combination locks ,wifistatemachine. Note： hierarchy

常用集成电路名词缩写

PLCC Plastic Leaded Chip Carrier
PLE Physical Layout Estimator
PLI Programming Language Interface
PLL Phase Locked Loop
POP Process Oriented Programming
PPA Performance，Power，Area
APR Auto place and route
ARM Advanced RISC Machines
ASB ASCII ASIC
Advanced System Bus
American standard code for information interchange
Application Special Integrated Circuit
DVE Discovery Visualization Environment
DVFS Dynamic Voltage Frequency Scaling
DVR Design Rule Violation
DVT Design verification test
ECC Error Correcting Code
CTL Computation tree logic
CTS Clock Tree Synthesis
DAC Digital-to-Analog Converter
DC Design compiler
DCM Digital Clock Manager
DCT Discrete cosine transform
SEB Single Event Burnout
SEE Single Event Effect

Debussy 仿真快速上手教程

Debussy 仿真快速上手教程Debussy 介绍Debussy 是NOVAS Software, Inc(思源科技)发展的HDL Debug & Analysis tool，这套软体主要不是用来跑模拟或看波形，它最强大的功能是：能够在HDL source code、schematic diagram、waveform、state bubble diagram之间，即时做trace，协助工程师debug。

可能您会觉的：只要有simulator如ModelSim就可以做debug了，我何必再学这套软体呢? 其实Debussy v5.0以后的新版本，还提供了nLint -- check coding style & synthesizable，这蛮有用的，可以协助工程师了解如何写好coding style，并养成习惯。

下图所示为整个Debussy 的原理架构，可归纳几个结论：Debussy有四个主要单元(component)，nTrace、nWave、nSchema、nStatenTrace -- Hypertext source code analysis and browse tool (为%Debussy &所开启的主画面)nWave -- Waveform analysis tool (可由nTrace内开启，或直接%nWave &开启)nSchema -- Hierarchy schematic generatornState -- Finite State Machine Extraction and analysis toolDebussy本身不含模拟器(simulator)，必须呼叫外部模拟器(如Verilog-XL or ModelSim)产生FSDB file，其显示波形的单元"nWave"透过读取FSDB file，才能显示波形或讯号值的变化快速上手五部曲：(Debussy v.5.2)1. Import Files and generate FSDB file2. Trace between hierarchy browser and source code3. Trace between hierarchy browser、source code and schematic4. Trace between hierarchy browser、source code、schematic and waveform5. nLint(nState本文没介绍，有兴趣的读者，请依文后的连结，自行下载CIC所提供的NOVAS原厂编写教材参考)1. Import Files and generate FSDB file1-1 启动Debussy：% Debussy & (此处的D大小写都可以，但其它指令的大小写可能就有差别)开启nTrace window如下，此时工作目录下会新建一个"DebussyLog"目录1-2 Import Files：File \ Import Design...结果如下图所示：nTrace视窗中，含有三个区域，Hierarchical Brower、Source code window、Message window。

EDA名词解释

EDA名词解释ASIC:专用集成电路(Application Specific Integrated Circuit)AMPP:Altera宏功能模块和IP核开发伙伴组织(Altera Megafunction Partners Program)BGA:球状矩阵排列(ball grid array)BSDL:边界扫描描述语言(Boundary-Scan Description Language) BST:边界扫描测试(Boundary-Scan Testing)CAD:计算机辅助设计(Computer - Aided Design) CAE:计算机辅助工程(Computer Aided Engineering) CAM:计算机辅助制造(computer-aided manufacturing);中央地址存储器(Central AddressMemory)CAT:计算机辅助测试(computer-aided test)CPLD:复杂可编程逻辑器件(Complex Programable Logic Device) DFT:可测试设计(Design For Test)EAB:嵌入式阵列块(Embedded Array Block)EDA:电子设计自动化(Electronic Design Automation) EDIF:电子设计交换格式(electronic design interchange format) EEPROM:电可擦除可编程只读存储器(Electrically Erasable Programmable Read-OnlyMemory)EPROM:可擦除可编程ROM(Erasable Programmable Read-Only Memory) FPGA:现场可编程门阵列(Field Programmable Gata Array) EPLD:可擦除可编程逻辑器件(Erasable Programmable Logic Device) FPSLIC:现场可编程系统级集成电路(Field Programmable System Level Integration Circu) FSM:有限状态机(Finite State Machine)GAL:通用阵列逻辑(Generic Array Logic)HDL:硬件描述语言(hardware description language)IEEE:电子电气工程师协会(Institute of Electrical and Electronic Engineers) IP:知识产权核(Intellectual Property)ISP:在系统可编程(In System Programmability)JTAG:联合测试行动组(Joint Test Action Group);在EDA领域又称“边界扫描测试技术”，常用于可编程逻辑器件的测试下载LAB:逻辑阵列块(Logic Array Block)LE:逻辑单元(Logic Element)LPM:参数可设置模块库(Library of Parameterized Modules) LUT:查找表(lookup talbe)OLMC: 输出逻辑宏单元(Output Logic Macro Cell)OTP:一次性可编程(One Time Programmable)PAL:可编程阵列逻辑:(Programmable Array Logic)PCB:印刷电路板PGA:可编程门阵列(Programmable Gate Array)PIA:可编程连线阵(Programmable Interconnect Array) PLA:可编程逻辑阵列(Programmable Logic Array)PLD:可编程逻辑电路(Programable Logic Device)PROM:可编程序只读存储器(Programmable Read-Only Memory) ROM:只读内存(Read-Only Memory)SRAM:静态随机存储器(Static Random Access Memory)RTL:寄存器传输级(Register Transport Level) SOC:单芯片系统(System on a Chip) SOPC:片上可编程系统(System On Programmable Chip) UART:通用异步收发器(Universal Asynchronous Receiver,Transmitter)VHDL:超高速集成电路硬件描述语言(Very High Speed Integrated Circuits HardwareDescription Language)UES:用户电子标签(User Electronic Signature)ASIC:专用集成电路CPLD:复杂可编程逻辑器件EAB:嵌入式阵列块EDA:电子设计自动化FPGA:现场可编程门阵列GAL:通用阵列逻辑HDL:硬件描述语言IEEE:电子电气工程师协会IP:知识产权核JTAG:联合测试行动组LAB:逻辑阵列块LPM:参数可设置模块库LUT:查找表PLD:可编程逻辑器件RTL:寄存器传输级SOPC:可编程片上系统VHDL:超高速集成电路硬件描述语言。

FPGA名词概念

FPGA名词概念1、ASIC:application-specific integrated circuits专用集成电路是指应特定用户要求和特定电子系统的需要而设计、制造的集成电路。

ASIC分为全定制和半定制。

ASIC的特点是面向特定用户的需求，ASIC在批量生产时与通用集成电路相比具有体积更小、功耗更低、可靠性提高、性能提高、保密性增强、成本降低等优点。

全定制设计需要设计者完成所有电路的设计，因此需要大量人力物力，灵活性好但开发效率低下。

如果设计较为理想，全定制能够比半定制的ASIC芯片运行速度更快。

半定制使用库里的标准逻辑单元(Standard Cell)，设计时可以从标准逻辑单元库中选择SSI(门电路)、MSI(如加法器、比较器等)、数据通路(如ALU、存储器、总线等)、存储器甚至系统级模块(如乘法器、微控制器等)和IP核，这些逻辑单元已经布局完毕，而且设计得较为可靠，设计者可以较方便地完成系统设计。

2、ALU:arithmetic an logic unit算术逻辑单元是中央处理器(CPU)的执行单元，是所有中央处理器的核心组成部分，由“And Gate”（与门）和“Or Gate”（或门）构成的算术逻辑单元，主要功能是进行二位元的算术运算，如加减乘(不包括整数除法)。

基本上，在所有现代CPU体系结构中，二进制都以补码的形式来表示。

3、BCD:binary-coded decimal BCD码或二-十进制代码，亦称二进码十进数是一种二进制的数字编码形式，用二进制编码的十进制代码。

这种编码形式利用了四个位元来储存一个十进制的数码，使二进制和十进制之间的转换得以快捷的进行。

4、CLBs:configurable logic blocks可配置逻辑模块。

包含一个可配置开关矩阵，此矩阵有选型电路（多路复用器），触发器和4或6个输入组成。

在Xilinx公司的FPGA器件中，CLB由多个（一般为4个或2个）相同的slice和附加逻辑构成。

计算机组成与设计第五版答案

计算机组成与设计：《计算机组成与设计》是2010年机械工业出版社出版的图书，作者是帕特森(DavidA.Patterson）。

该书讲述的是采用了一个MIPS 处理器来展示计算机硬件技术、流水线、存储器的层次结构以及I/O 等基本功能。

此外，该书还包括一些关于x86架构的介绍。

内容简介：这本最畅销的计算机组成书籍经过全面更新，关注现今发生在计算机体系结构领域的革命性变革：从单处理器发展到多核微处理器。

此外，出版这本书的ARM版是为了强调嵌入式系统对于全亚洲计算行业的重要性，并采用ARM处理器来讨论实际计算机的指令集和算术运算。

因为ARM是用于嵌入式设备的最流行的指令集架构，而全世界每年约销售40亿个嵌入式设备。

采用ARMv6（ARM 11系列）为主要架构来展示指令系统和计算机算术运算的基本功能。

覆盖从串行计算到并行计算的革命性变革，新增了关于并行化的一章，并且每章中还有一些强调并行硬件和软件主题的小节。

新增一个由NVIDIA的首席科学家和架构主管撰写的附录，介绍了现代GPU的出现和重要性，首次详细描述了这个针对可视计算进行了优化的高度并行化、多线程、多核的处理器。

描述一种度量多核性能的独特方法——“Roofline model”，自带benchmark测试和分析AMD Opteron X4、Intel Xeo 5000、Sun Ultra SPARC T2和IBM Cell的性能。

涵盖了一些关于闪存和虚拟机的新内容。

提供了大量富有启发性的练习题，内容达200多页。

将AMD Opteron X4和Intel Nehalem作为贯穿《计算机组成与设计:硬件/软件接口(英文版·第4版·ARM版)》的实例。

用SPEC CPU2006组件更新了所有处理器性能实例。

图书目录：1 Computer Abstractions and Technology1.1 Introduction1.2 BelowYour Program1.3 Under the Covers1.4 Performance1.5 The Power Wall1.6 The Sea Change: The Switch from Uniprocessors to Multiprocessors1.7 Real Stuff: Manufacturing and Benchmarking the AMD Opteron X41.8 Fallacies and Pitfalls1.9 Concluding Remarks1.10 Historical Perspective and Further Reading1.11 Exercises2 Instructions: Language of the Computer2.1 Introduction2.2 Operations of the Computer Hardware2.3 Operands of the Computer Hardware2.4 Signed and Unsigned Numbers2.5 Representing Instructions in the Computer2.6 Logical Operations2.7 Instructions for Making Decisions2.8 Supporting Procedures in Computer Hardware2.9 Communicating with People2.10 ARM Addressing for 32-Bit Immediates and More Complex Addressing Modes2.11 Parallelism and Instructions: Synchronization2.12 Translating and Starting a Program2.13 A C Sort Example to Put lt AU Together2.14 Arrays versus Pointers2.15 Advanced Material: Compiling C and Interpreting Java2.16 Real Stuff." MIPS Instructions2.17 Real Stuff: x86 Instructions2.18 Fallacies and Pitfalls2.19 Conduding Remarks2.20 Historical Perspective and Further Reading2.21 Exercises3 Arithmetic for Computers3.1 Introduction3.2 Addition and Subtraction3.3 Multiplication3.4 Division3.5 Floating Point3.6 Parallelism and Computer Arithmetic: Associativity 3.7 Real Stuff: Floating Point in the x863.8 Fallacies and Pitfalls3.9 Concluding Remarks3.10 Historical Perspective and Further Reading3.11 Exercises4 The Processor4.1 Introduction4.2 Logic Design Conventions4.3 Building a Datapath4.4 A Simple Implementation Scheme4.5 An Overview of Pipelining4.6 Pipelined Datapath and Control4.7 Data Hazards: Forwarding versus Stalling4.8 Control Hazards4.9 Exceptions4.10 Parallelism and Advanced Instruction-Level Parallelism4.11 Real Stuff: theAMD OpteronX4 （Barcelona）Pipeline4.12 Advanced Topic: an Introduction to Digital Design Using a Hardware Design Language to Describe and Model a Pipelineand More Pipelining Illustrations4.13 Fallacies and Pitfalls4.14 Concluding Remarks4.15 Historical Perspective and Further Reading4.16 Exercises5 Large and Fast: Exploiting Memory Hierarchy5.1 Introduction5.2 The Basics of Caches5.3 Measuring and Improving Cache Performance5.4 Virtual Memory5.5 A Common Framework for Memory Hierarchies5.6 Virtual Machines5.7 Using a Finite-State Machine to Control a Simple Cache5.8 Parallelism and Memory Hierarchies: Cache Coherence5.9 Advanced Material: Implementing Cache Controllers5.10 Real Stuff: the AMD Opteron X4 （Barcelona）and Intel NehalemMemory Hierarchies5.11 Fallacies and Pitfalls5.12 Concluding Remarks5.13 Historical Perspective and Further Reading5.14 Exercises6 Storage and Other I/0 Topics6.1 Introduction6.2 Dependability, Reliability, and Availability6.3 Disk Storage6.4 Flash Storage6.5 Connecting Processors, Memory, and I/O Devices6.6 Interfacing I/O Devices to the Processor, Memory, andOperating System6.7 I/O Performance Measures: Examples from Disk and File Systems6.8 Designing an I/O System6.9 Parallelism and I/O: Redundant Arrays of Inexpensive Disks6.10 Real Stuff: Sun Fire x4150 Server6.11 Advanced Topics: Networks6.12 Fallacies and Pitfalls6.13 Concluding Remarks6.14 Historical Perspective and Further Reading6.15 Exercises7 Multicores, Multiprocessors, and Clusters7.1 Introduction7.2 The Difficulty of Creating Parallel Processing Programs7.3 Shared Memory Multiprocessors7.4 Clusters and Other Message-Passing Multiprocessors7.5 Hardware Multithreading 637.6 SISD,MIMD，SIMD，SPMD，and Vector7.7 Introduction to Graphics Processing Units7.8 Introduction to Multiprocessor Network Topologies7.9 Multiprocessor Benchmarks7.10 Roofline：A Simple Performance Model7.11 Real Stuff：Benchmarking Four Multicores Using theRooflineMudd7.12 Fallacies and Pitfalls7.13 Concluding Remarks7.14 Historical Perspective and Further Reading7.15 ExercisesInuexC D-ROM CONTENTA Graphics and Computing GPUSA.1 IntroductionA.2 GPU System ArchitecturesA.3 Scalable Parallelism-Programming GPUSA.4 Multithreaded Multiprocessor ArchitectureA.5 Paralld Memory System G.6 Floating PointA.6 Floating Point ArithmeticA.7 Real Stuff：The NVIDIA GeForce 8800A.8 Real Stuff：MappingApplications to GPUsA.9 Fallacies and PitflaUsA.10 Conduding RemarksA.1l HistoricalPerspectiveandFurtherReadingB1 ARM and Thumb Assembler InstructionsB1.1 Using This AppendixB1.2 SyntaxB1.3 Alphabetical List ofARM and Thumb Instructions B1.4 ARM Asembler Quick ReferenceB1.5 GNU Assembler Quick ReferenceB2 ARM and Thumb Instruction EncodingsB3 Intruction Cycle TimingsC The Basics of Logic DesignD Mapping Control to HardwareADVANCED CONTENTHISTORICAL PERSPECTIVES & FURTHER READINGTUTORIALSSOFTWARE作者简介：David A.Patterson，加州大学伯克利分校计算机科学系教授。

开题报告

开题报告毕业设计题目：基于IronPython的EFSM模型动态解释技术研究一、选题意义与可行性分析1.1选题意义扩展有限状态机EFSM模型具有较强的数据建模和行为建模能力，被广泛的作为通信协议的形式化建模技术[1-4]。

基于协议规范的EFSM模型进行协议实现的一致性测试是确保网络通信质量的重要手段。

协议EFSM模型动态行为的解释执行是基于EFSM模型进行一致性测试的关键技术之一。

此外，EFSM模型在诸多领域如模式识别、专家系统、机器理解、词法分析等领域都有着很广泛的应用。

IronPython是一个在.NET平台上的Python的实现，2010年微软发布了C#4.0,最大的创新点就是拥有的动态编程语言的特性，与C#和Java这些已经非常成熟且功能强大的静态编程语言相比，动态语言有的自身的优势。

它支持Read-evaluate-print-Loop 开发模式，整个过程简洁明了。

扩展方便，用户可以随时对代码进行调整。

而且它的类型是在运行时完成的，可以省去许多不必要的类型转换代码，与静态语言相比，动态编程语言写的代码往往更精练。

未来的编程语言绝大部分可能是多范式的，具有高度的可组合型，在项目或产品中组合多个编程语言、使用多种编程范式会变得越来越普遍[9]。

2.1 可行性分析EFSM模型系统主要由EFSM模型编辑器和EFSM模型动态解释执行两部分构成。

模型编辑器主要给用户提供一个可构建EFSM模型的开发环境，接着设定模型系统的初始状态，基于IronPython与C#动态交互的过程以及广度优先的搜索算法来动态解释执行EFSM模型。

1.2.1 .NET Framework 4.0的DLR(Dynamic Language Runtime)为了让C#等.NET编程语言具备动态编程语言的特性，.NET Framework 4.0引入了DLR(Dynamic Language Runtime，动态语言运行时)。

DLR运行在CLR之上，提供了一个动态语言的运行环境，从而允许Python、Ruby等动态语言编写的程序在.NET 平台上运行，同时，现有的.NET静态类型编程语言，比如C#和VB，也可以利用DLR 拥有一些动态编程语言的特性。

计算机专业英语词汇

《计算机专业英语词汇》AActive-matrix主动矩阵Adapter cards适配卡Advanced application高级应用Analytical graph分析图表Analyze分析Animations动画Application software 应用软件Arithmetic operations算术运算Audio-output device音频输出设备Access time存取时间access存取accuracy准确性ad network cookies广告网络信息记录软件Add-ons 插件Address地址Agents代理Analog signals模拟信号Applets程序Asynchronous communications port异步通信端口Attachment附件BBar code条形码Bar code reader条形码读卡器Basic application基础程序Binary coding schemes二进制译码方案Binary system二进制系统Bit比特Browser浏览器Bus line总线Backup tape cartridge units备份磁带盒单元Bandwidth带宽Bluetooth蓝牙Broadband宽带Business-to-business企业对企业电子商务Business-to-consumer企业对消费者Bus总线CCables连线Cell单元箱Chain printer链式打印机Character and recognition device字符标识识别设备Chart图表Chassis支架Chip芯片Clarity清晰度Closed architecture封闭式体系结构Column列Combination key结合键computer competency计算机能力connectivity连接，结点Continuous-speech recognition system连续语言识别系统Control unit操纵单元Cordless or wireless mouse无线鼠标Cable modems有线调制解调器carpal tunnel syndrome腕骨神经综合症CD-ROM可记录光盘CD-RW可重写光盘CD-R可记录压缩光盘Channel信道Chat group谈话群组chlorofluorocarbons(CFCs) ]氯氟甲烷Client客户端Coaxial cable同轴电缆cold site冷网站Commerce servers商业服务器Communication channel信道Communication systems信息系统Compact disc rewritableCompact disc光盘computer abuse amendments act of 19941994计算机滥用法案computer crime计算机犯罪computer ethics计算机道德computer fraud and abuse act of 1986计算机欺诈和滥用法案computer matching and privacy protection act of 1988计算机查找和隐私保护法案Computer network计算机网络computer support specialist计算机支持专家computer technician计算机技术人员computer trainer计算机教师Connection device连接设备Connectivity连接Consumer-to-consumer个人对个人cookies-cutter programs信息记录截取程序cookies信息记录程序cracker解密高手cumulative trauma disorder积累性损伤错乱Cybercash电子现金Cyberspace计算机空间cynic愤世嫉俗者DDatabase数据库database files数据库文件Database manager数据库管理Data bus数据总线Data projector数码放映机Desktop system unit台式电脑系统单元Destination file目标文件Digital cameras数码照相机Digital notebooks数字笔记本Digital bideo camera数码摄影机Discrete-speech recognition system不连续语言识别系统Document文档document files文档文件Dot-matrix printer点矩阵式打印机Dual-scan monitor双向扫描显示器Dumb terminal非智能终端data security数据安全Data transmission specifications数据传输说明database administrator数据库管理员Dataplay数字播放器Demodulation解调denial of service attack拒绝服务攻击Dial-up service拨号服务Digital cash数字现金Digital signals数字信号Digital subscriber line数字用户线路Digital versatile disc数字化通用磁盘Digital video disc数字化视频光盘Direct access直接存取Directory search目录搜索disaster recovery plan灾难恢复计划Disk caching磁盘驱动器高速缓存Diskette磁盘Disk磁碟Distributed data processing system分部数据处理系统Distributed processing分布处理Domain code域代码Downloading下载DVD 数字化通用磁盘DVD-R 可写DVDDVD-RAM DVD随机存取器DVD-ROM 只读DVDdelimiter 定界符号 [定界符]denotation 外延denotic logic 符号逻辑dependency 依存关系Dependency Grammar 依存关系语法dependency relation 依存关系depth-first search 深度优先搜寻derivation 派生derivational bound morpheme 派生性附着语素Descriptive Grammar 描述型语法 [描写语法]Descriptive Linguistics 描述语言学 [描写语言学] desiderative 意愿的determiner 限定词deterministic algorithm 决定型算法 [确定性算法] deterministic finite state automaton 决定型有限状态机deterministic parser 决定型语法剖析器 [确定性句法剖析程序]developmental psychology 发展心理学Diachronic Linguistics 历时语言学diacritic 附加符号dialectology 方言学dictionary database 辞典数据库 [词点数据库]dictionary entry 辞典条目digital processing 数字处理 [数值处理]diglossia 双言digraph 二合字母diminutive 指小词diphone 双连音directed acyclic graph 有向非循环图disambiguation 消除歧义 [歧义消除]discourse 篇章discourse analysis 篇章分析 [言谈分析]discourse planning 篇章规划Discourse Representation Theory 篇章表征理论 [言谈表示理论]discourse strategy 言谈策略discourse structure 言谈结构discrete 离散的disjunction 选言dissimilation 异化distributed 分布式的distributed cooperative reasoning 分布协调型推理distributed text parsing 分布式文本剖析disyllabic 双音节的ditransitive verb 双宾动词 [双宾语动词;双及物动词] divergence 扩散[分化]D-M (Determiner-Measure) construction 定量结构D-N (determiner-noun) construction 定名结构document retrieval system 文件检索系统 [文献检索系统] domain dependency 领域依存性 [领域依存关系]double insertion 交互中插double-base 双基downgrading 降级dummy 虚位duration 音长{语音学}/时段{语法学/语意学}dynamic programming 动态规划Ee-book电子阅读器Expansion cards扩展卡end user终端用户e-cash电子现金e-commerce电子商务electronic cash电子现金electronic commerce电子商务electronic communications privacy act of1986电子通信隐私法案encrypting加密术energy star能源之星Enterprise computing企业计算化environment环境Erasable optical disks可擦除式光盘ergonomics人类工程学ethics道德规范External modem外置调制解调器extranet企业外部网Earley algorithm Earley 算法echo 回声句egressive 呼气音ejective 紧喉音electronic dictionary 电子词典elementary string 基本字符串 [基本单词串] ellipsis 省略EM algorithm EM算法embedding 崁入emic 功能关系的empiricism 经验论Empty Category Principle 虚范畴原则 [空范畴原理] empty word 虚词enclitics 后接成份end user 终端用户 [最终用户]endocentric 同心的endophora 语境照应entailment 蕴涵entity 实体entropy 熵entry 条目episodic memory 情节性记忆epistemological network 认识论网络ergative verb 作格动词ergativity 作格性Esperando 世界语etic 无功能关系etymology 词源学event 事件event driven control 事件驱动型控制example-based machine translation 以例句为本的机器翻译exclamation 感叹exclusive disjunction 排它性逻辑“或”experiencer case 经验者格expert system 专家系统extension 外延external argument 域外论元extraposition 移外变形 [外置转换]FFax machine传真机Field域Find搜索FireWire port火线端口Firmware固件Flash RAM闪存Flatbed scanner台式扫描器Flat-panel monitor纯平显示器floppy disk软盘Formatting toolbar格式化工具条Formula公式Function函数fair credit reporting act of 1970公平信用报告法案Fiber-optic cable光纤电缆File compression文件压缩File decompression文件解压缩filter过滤firewall防火墙firewall防火墙Fixed disk固定硬盘Flash memory闪存Flexible disk可折叠磁盘Floppies磁盘Floppy-disk cartridge磁盘盒Formatting格式化freedom of information act of 1970信息自由法案frequency频率frustrated受挫折Full-duplex communication全双通通信facility value 易度值feature 特征feature bundle 特征束feature co-occurrence restriction 特征同现限制 [特性同现限制]feature instantiation 特征体现feature structure 特征结构 [特性结构]feature unification 特征连并 [特性合一]feedback 回馈felicity condition 妥适条件file structure 档案结构finite automaton 有限状态机 [有限自动机]finite state 有限状态Finite State Morphology 有限状态构词法 [有限状态词法] finite-state automata 有限状态自动机finite-state language 有限状态语言finite-state machine 有限状态机finite-state transducer 有限状态置换器flap 闪音flat 降音foreground information 前景讯息 [前景信息]Formal Language Theory 形式语言理论Formal Linguistics 形式语言学Formal Semantics 形式语意学forward inference 前向推理 [向前推理]forward-backward algorithm 前前后后算法frame 框架frame based knowledge representation 框架型知识表示Frame Theory 框架理论free morpheme 自由语素Fregean principle Fregean 原则fricative 擦音F-structure 功能结构full text searching 全文检索function word 功能词Functional Grammar 功能语法functional programming 函数型程序设计 [函数型程序设计] functional sentence perspective 功能句子观functional structure 功能结构functional unification 功能连并 [功能合一]functor 功能符fundamental frequency 基频编辑本段GGeneral-purpose application通用运用程序Gigahertz千兆赫Graphic tablet绘图板green pc绿色个人计算机Grop by 排序garden path sentence 花园路径句GB (Government and Binding) 管辖约束geminate 重叠音gender 性Generalized Phrase Structure Grammar 概化词组结构语法 [广义短语结构语法]Generative Grammar 衍生语法Generative Linguistics 衍生语言学 [生成语言学]generic 泛指genetic epistemology 发生认识论genetive marker 属格标记genitive 属格gerund 动名词Government and Binding Theory 管辖约束理论GPSG (Generalized Phrase Structure Grammar) 概化词组结构语法 [广义短语结构语法]gradability 可分级性grammar checker 文法检查器grammatical affix 语法词缀grammatical category 语法范畴grammatical function 语法功能grammatical inference 文法推论grammatical relation 语法关系grapheme 字素编辑本段Hhandheld computer手提电脑Hard copy硬拷贝hard disk硬盘hardware硬件Help帮助Host computer主机Home page主页Hyperlink超链接hacker黑客Half-duplex communication半双通通信Hard-disk cartridge硬盘盒Hard-disk pack硬盘组Head crash磁头碰撞header标题help desk specialist帮助办公专家helper applications帮助软件Hierarchical network层次型网络history file历史文件hits匹配记录horizontal portal横向用户hot site热网站Hybrid network混合网络haplology 类音删略head 中心语head driven phrase structure 中心语驱动词组结构 [中心词驱动词组结构]head feature convention 中心语特征继承原理 [中心词特性继承原理]Head-Driven Phrase Structure Grammar 中心语驱动词组结构律heteronym 同形heuristic parsing 经验式句法剖析Heuristics 经验知识hidden Markov model 隐式马可夫模型hierarchical structure 阶层结构 [层次结构]holophrase 单词句homograph 同形异义词homonym 同音异义词homophone 同音词homophony 同音异义homorganic 同部位音的Horn clause Horn 子句HPSG (Head-Driven Phrase Structure Grammar) 中心语驱动词组结构语法human-machine interface 人机界面hypernym 上位词hypertex（转载自第一范文网，请保留此标记。

Verilog Finite State Machine Lab 实验指南说明书

Building a Finite State Machine LabVerilog PartOverview:In this lab you will learn how to model finite state machine in Verilog HDL using three always blocks. You will model a specified counting sequence counter as an example of fsm. The predefined counting sequence you will model is 000 -> 011 → 101 → 111 →010 → 110 → 000 …Outcome:You will understand how to develop fsm in Verilog using three always blocks. You will learn how to create a model using ISE create project wizard. You will instantiate lower-level models to create a complex model. You will use ISE simulator to simulate the design. You will add user constraint file (ucf) to assign pins so the design can be targeted to National Instruments (NI) Digital Electronics FPGA Board. You will implement the design and create a bitstream file using ISE’s implementation tools. Once bitstream is created, you will download using ISE’s iMPACT program and verify the design functionality.Background (to be completed after discussion):Describe the behavioral modeling style to model a finite state machine. Compare and contrast between single always block and three always blocks methodologiesDesign Procedure (to be discussed):(should we have this section to show how the circuit is designed?)References:1. National Instruments’ Digital Electronics FPGA Board user manual2. Verilog HDL booksStephen Brown, Zvonko G. Vranesic, “Fundamentals of Digital Logic with Verilog Design”, 2002 Zainalabedin Navabi, “Verilog Digital Systems Design: RT Level Synthesis, Testbench, andVerification”, 2005Samir Paltinkar, “Verilog HDL: A Guide to Digital Design and Synthesis”, 2003Joseph Cavanagh, “Verilog HDL: Digital Design and Modeling”, 2007Michael D. Ciletti, “Modeling, Synthesis, and Rapid Prototyping with Verilog HDL”, 2003Douglas J. Smith, “HDL Chip Design: A Practical Guide for Designing, Synthesizing and Simulating ASICs and FPGAs using VHDL or Verilog”, 19963. On-line references:Verilog HDL Reference Card: /class/ee183/handouts_win2003/VerilogQuickRef.pdfProcedure:1. Create a ISE project•Launch ISE: Select Start →Programs→Xilinx ISE Design Suite 10.1 →ISE→Project Navigator•In the Project Navigator, select File → New Project. The New Project Wizard opens•For Project Location, use the “…” button to browse to C:\NI\Verilog_labs, and then click OK•For Project Name, type fsm_lab•Click Next•Select the following options and click NextDevice Family: Spartan3EDevice: xc3s500EPackage: ft256Speed Grade: –5Synthesis Tool: XST (VHDL/Verilog)Simulator: ISE Simulator (VHDL/Verilog)Preferred Language: Verilog•The Create New Source dialog will appear. Click Next and Add Existing Source Wizard form will appear•Click on Add Source button•Browse to c:\NI\verilog_labs\resources\fsm_lab, select fsm_top.v and fsm_top.ucf files, click open and then OK•Notice that Copy to Project check boxes are selected•Click Next and then Finish to close the wizard and add the files in the project • A project will be created, fsm_top.v model and fsm_top.ucf constraint file will be added in the Sources hierarchy window•Let us analyze the code of the fsm_top file•The file first defines states•The first always block models current state synchronization•The second always block computes next state logic•Note that the S0, S1 states ensures that a long go high is treated as a single pulse•Once the go pulse is detected, the machine performs a specific pattern counter •The third always block computes machine’s output•Note that since the output is dependent on the current state only, it can be modeled with data flow statement (assign)2. Simulate the design using ISE•Right-click on the fsm_top entry in Sources window, right-click and select Add Copy of Source…•Browse to C:\NI\Verilog_labs\resouces\fsm_lab and select fsm_top_tb.v.Notice that the Sources for window changes to Behavioral Simulation fromImplementation•Select fsm_top_tb in the Sources window, expand the Xilinx ISE Simulator process in Processes window•Double-click Simulator Behavioral Model to run simulator•The model will be compiled and the simulator will be run•Simulation results will be displayed. To see portion of it, use area zoom () button to zoom in the area for time range of 200 ns to 500 ns and it will beseen as shown below•You can verify that the machine starts counting only after go pulse is asserted and then negated. The go pulse can remain high for several clock cycles butthe counting will start only after go has become low•Close the simulator3. Implement the design•Select implementation in Sources for window•In order to see the LEDs toggling in hardware, the clock needs to further slow down to seconds period. A model is provided which can be used to do the same•Select fsm_top module in Sources window, right-click, and select Add Copy of Source…•Browse to c:\NI\verilog_labs\resources\fsm_lab and select clk_divider.v and click open•Add the following instantiation to include the clk_divider•Double-click on the Map report to view the report. Look at the resource utilization and note that 31 slices, 28 flip-flops, and 1 BUFGMUX are beingused. The 28 flip-flops are mainly due to the 24-bit counter that is being usedin clk_divider model which models 24-bit wide counter, 1 flip-flop for theclk_dv signal in the counter, and 3 flip-flops are being used for the fsm •You can see similar information by clicking on Design Summary tab and looking at the various information4. Verify the design in hardware•Select fsm_top in Sources window and double-click on GenerateProgramming File process to generate the bit file for the design•Expand Configure Target Device process and double-click on Manage Configuration Project (iMPACT) process•Connect the board with the USB-JTAG cable•Power ON the board•Click Finish to use the JTAG chain•Select fsm_top.bit file to be assigned to xc3s500e device and click Open•Click Bypass button for xcf04s and then OK to use FPGA deviceprogramming•Right-click on the FPGA and select Program•This will program the FPGA and DONE light will lit on the board•Once programmed successfully, the design is waiting for go pulse•Press BTN0 and release it and observe that the fsm outputs the desired patter on LD2:LD0•Once confirmed the functionality, power down the board and close ISE saving project changesLabView PartOverview:In this lab you will learn how to create VI using simple gates and use the created Vis to create a more complex lab. You will create VIs using LabView FPGA’s basic gates. After building the basicVIs, you will create a minority gate model using hierarchical design.Outcome:You will understand how to model Verilog logical operators. You will learn how to create a model using ISE create project wizard. You will instantiate lower-level models to create a complex model. You will use ISE simulator to simulate the design. You will add user constraint file (ucf) to assign pins so the design can be targeted to National Instruments (NI) Digital Electronics FPGA Board. You will implement the design and create a bitstream file using ISE’s implementation tools. Once bitstream is created, you will download using ISE’s iMPACT program and verify the design functionality.References:1. National Instruments’ Digital Electronics FPGA Board user manual2. LabView TutorialProcedure:1. Create Basic VIs•Launch LabView: Select Start →Programs→National Instruments LabView 8.6•Create New VIELVIS-II Part。

DSP名词解释2

DSP 专有名词解释AAbsolute Lister 绝对列表器ACC 累加器AD 模拟器件公司 Analog DevicesADC 数模转换器ADTR 异步数据发送和接收寄存器All-pipeline-Branching 全流水分支ALU 算数逻辑运算单元 Arithmetic Logical UnitAMBA 先进微控制器总线结构（ARM处理器的片上总线） Advanced microcontroller bus architectureANSI 美国国家标准局AP 应用处理器 Application ProcessorAPI 应用程序编程接口 Application Programmable interfaceARAU 辅助寄存器单元 Auxiliary Register Arithmetic UnitARSR 异步串行端口接收移位寄存器ARP 辅助寄存器指针/地址解析协议 Address Resolution ProtocolArchiver Utility 归档器公用程序ASIC 专用集成电路 Application Specific Integrated CircuitASP 音频接口 /动态服务器页面（Active Server Page）ASK 振幅调制ASPCR 异步串行端口控制寄存器AXSR 异步串行端口发送移位寄存器ATM 异步传输模式BB0，B1 DARAM B0、B1 块双口随机存储器BDM 背景调试模式 Background Debug ModeBluetooth 蓝牙BEGIER 调试中断使能寄存器BOPS 每秒十亿次操作BOOT Loader 引导装载程序CC Compiler C编译器CALU 中央算术逻辑单元 Central Arithmetic Logical UnitCAN 控制器局域网 Controller Area NetworkCCS 代码调试器/代码设计套件 Code Composer StudioCDMA 码分多址 Code Division Multiple AccesscDSP 可配置数字信号处理器或可定制数字信号处理器Code Size 代码长度CLKX 发送时钟引脚CLKR 接收时钟引脚CKE 时钟使能信号COFF 通用目标文件格式 Common Object File FormatConvolution 卷积Cost Efficient 成本效益Cost Revenue Analysis 成本收入分析Cross Reference List 交叉引用列表器CSM 代码安全模块 Code Security ModuleCache技术Cache(高速缓存)技术是一种高速缓冲存储器，是为了解决CPU和主存之间速度不匹配而采用的一项重要技术。

基于VAPS的多功能仪表界面_彭燕---

基于cs的企业预算管理系统分为预算编制预算执行和预算分析三部份数据库系统由前端应用程序和后台服务器组成系统软件由预算编制与调整请购与领料管理合同与财务管理固定资产维护当日工作及预算分析模块组成
兵工自动化 2006 年第 Fra bibliotek5 卷第 3 期
软件技术 Software Technique
O. I. Automation 2006, Vol. 25, No. 3
图5 汽车面板显示仪表
如果从其他应用程序调用该显示界面需要以下步骤完成。其开发步骤如图 6。
创建 VAPS 应用程序创建通道文件
创建配置文件
编写调用 VAPS 应用程序的外部程序
设置环境变量
编译运行
图 6 外部应用程序调用 VAPS 界面流程
在此给出 C 代码以调用该 VAPS 显示界面：
Void main() { //初始化配置文件
·90·
兵工自动化 2006 年第 25 卷第 3 期
软件技术 Software Technique
O. I. Automation 2006, Vol. 25, No. 3
该模型是非线性模型，它对构建交互式系统和界面非常有用。其模型如图 2。应用程序状态由事件及事件引发状态组成。当事件发生时，应用程序处理事件，发生状态转换并等下一个事件到来。
文章编号：1006-1576（2006）03-0090-03
基于 VAPS 的多功能仪表界面
彭燕 1，许增增 2，申磊 1，狄东宁 1 （1. 电子设备试验鉴定与评估中心，河南洛阳 471003；2. 63883 部队，河南洛阳 471003）
摘要：多功能仪表界面，其 VAPS 开发环境由组件构建、集成编译及运行测试模块组成。开发逻辑遵循 FSM 和 ATN 模型。其开发步骤：创建 VAPS 应用程序、创建通道和配置文件、编写外部程序、调制环境变量及运行等。

交互式维护系统中有限状态机的设计与实现

ＫｅｙｗｏｒｄｓＦｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅＩｎｔｅห้องสมุดไป่ตู้ａｃｔｉｖｅｍａｉｎｔｅｎａｎｃｅＳｔａｔｅｔｒａｎｓｉｔｉｏｎＭｕｌｔｉｔｈｒｅａｄＬｉｎｅｍａｉｎｔｅｎａｎｃｅｓｃｅｎａｒｉｏ
０引言
机载维护系统是从飞机的多个子系统和成员设备中获取数据信息，并通过嵌入式计算机实现故障诊断与隔离、飞机状态参数监测和交互式维护等功能，为维护人员提供维修服务与技术支持［１－４］的专用系统。
ＤＥＳＩＧＮＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＦＩＮＩＴＥＳＴＡＴＥＭＡＣＨＩＮＥＩＮＩＮＴＥＲＡＣＴＩＶＥＭＡＩＮＴＥＮＡＮＣＥＳＹＳＴＥＭ
ＬüＺｈｅｎｂａｎｇ１ＳｈｅｎＸｉｎ’ｇａｎｇ１ＺｏｕＨｕｉｒｏｎｇ１ＳｈｉＢｏｌｅ２
１（ＡｅｒｏｎａｕｔｉｃａｌＣｏｍｐｕｔｉｎｇＴｅｃｈｎｉｑｕｅＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅ，ＡＶＩＣ，Ｘｉ’ａｎ７１００６８，Ｓｈａａｎｘｉ，Ｃｈｉｎａ）２（ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＦｕｄａｎＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２００４３３，Ｃｈｉｎａ）
第３７卷第５期２０２０年５月
计算机应用与软件ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ
Ｖｏｌ３７Ｎｏ．５Ｍａｙ２０２０
交互式维护系统中有限状态机的设计与实现
吕镇邦１沈新刚１邹会荣１施伯乐２
１（航空工业西安航空计算技术研究所陕西西安７１００６８）２（复旦大学计算机科学与技术学院上海２００４３３）
交互式维护是机载维护系统的子系统和核心功能之一。它是由维护人员通过座舱显示器或便携式终端启动的，包含一系列连续测试步骤的成员设备状态检测过程。在不拆卸成员设备的情况下，通过交互式维护过程协助维护人员完成机载设备的系统测试、模糊组故障诊断与隔离、故障确认、校准和调零以及更换外场可替换单元（ＬｉｎｅＲｅｐｌａｃｅａｂｌｅＵｎｉｔ，ＬＲＵ）之后的设

基于三态信号的改进游程编码压缩方法

第47卷第2期Vol.47No.2计算机工程Computer Engineering2021年2月February2021基于三态信号的改进游程编码压缩方法陈田1，2，周洋1，2，任福继1，2，3，安鑫1，2，赵沪隐1，2（1.合肥工业大学计算机与信息学院，合肥230009；2.合肥工业大学情感计算与先进智能机器安徽省重点实验室，合肥230009；3.德岛大学工学部，日本德岛770⁃8506）摘要：为提高集成电路测试效率，提出一种结合三态信号的改进游程编码压缩方法。

先对原始测试集进行部分输入精简处理并填充测试集的无关位，再对经过预处理的测试集根据游程长度进行变长分段处理找出最优段长。

按照游程长度的出现频率对最优段长下的参考位设置编码表进行编码压缩，使用三态信号编码标志位并将编码压缩后的测试集存入自动测试设备(ATE)，最终通过设计解压电路对ATE中存储的压缩数据进行无损解压。

实验结果表明，在硬件开销未明显增加的情况下，该方法的测试数据平均压缩率达到74.39%，优于同类压缩方法。

关键词：测试数据压缩；三态信号；游程编码；变长分段压缩；自动测试设备开放科学(资源服务)标志码(OSID)：中文引用格式：陈田，周洋，任福继，等.基于三态信号的改进游程编码压缩方法［J］.计算机工程，2021，47（2）：219-225.英文引用格式：CHEN Tian，ZHOU Yang，REN Fuji，et al.Improved run length coding compression method based on tri-state signal［J］.Computer Engineering，2021，47（2）：219-225.Improved Run Length Coding Compression Method Based on Tri-State Signal CHEN Tian1，2，ZHOU Yang1，2，REN Fuji1，2，3，AN Xin1，2，ZHAO Huyin1，2（1.School of Computer and Information，Hefei University of Technology，Hefei230009，China；2.Anhui Province Key Laboratory of Affective Computing and Advanced Intelligent Machine，Hefei University of Technology，Hefei230009，China；3.Faculty of Engineering，Tokushima University，Tokushima770-8506，Japan）【Abstract】To improve the efficiency of integrated circuit testing，this paper proposes an improved run length coding compression method using tri-state signal.First，part of the input in the test cube is reduced，and the unrelated bits of the test set are filled.Then the variable length segment compression is performed on the pre-processed test set according to the run length to find the optimal segment length.According to the frequency of the run length，the encoding table is designed for the reference bits under the optimal segment length for coding compression.Finally，the flag bits are encoded with tri-state signals，and the encoded and compressed test set is saved into the Automatic Test Equipment （ATE）.The compressed data in ATE can be decompressed without loss by designing a decompression circuit. Experimental results show that the proposed method improves the average compression ratio to74.39%without a significant increase in the hardware overhead，which is better than other similar compression methods.【Key words】test data compression；tri-state signal；run length coding；variable length segment compression；Automatic Test Equipment（ATE）DOI：10.19678/j.issn.1000-3428.00571570概述随着集成电路技术的发展，晶体管的特征尺寸不断缩小，芯片集成度与频率日益提高，使得集成电路芯片设计对数据测试的要求越来越严格，并对自动测试设备（Automatic Test Equipment，ATE）的I/O 通道数及ATE数据传输率提出了更高要求［1］。

计算机常见英文缩写

计算机常用英文缩写3DPA—3D Positional Audio—3D定位音频3DS—Three Dimension Studio—三维摄影室AAT—Average Access Time—平均存取时间ABS—Auto Balance System—自动平衡系统AC—Alternating Current—交流电ACOPS—Automatic CPU Overheat Prevention System—自动CPU过热预防系统ACPI—Advanced Configuration And Power Interface—高级配置与电源接口ADC—Analog To Digital Convent—模数转换器ADIMM—Advanced Dual In-line Memory Modules—高级双重内嵌式内存模块ADO—ActiveX Data Object—ActiveX数据对象ADSL—Asymmetric Digital Subscriber Line—非对称数字用户路线AE—Atmospheric Effect—雾化效果AGP—Accelerated Graphics Port—加速图形接口AGU—Address Generation Unit—地址产生单元AHA—Accelerated Hub Architecture—加速中心架构AH—Authentication Header—鉴定头文件AI—Artificial Intelligence—人工智能AL—Artificial Life—人工生命ALU—Arithmetic Logic Unit—算术逻辑单元ANSI—American National Standard Institute—美国国家标准协会AOL—American Online—美国在线APIC—Advanced Programmable Interrupt Controller—高级程序中断控制器APM—Advanced Power Management—高级电源管理APP—Accelerated Parallel Processing—AMD加速并行处理技术APPE—Advanced Packet Parsing Engine—高级数据包解析引擎ARP—Address Resolution Protocol—地址解析协议ASC—Anti Static Coating—防静电涂层ASCII—American Standard Code For Information Interchange—美国信息交换标准代码ASIC—Application Specific Integrated Circuit—特殊应用集成电路AST—Average Seek Time—平均寻道时间ATAPI—Advanced Technology Attachment Packet Interface —高级技术附加数据包接口ATC—Access Time From Clock—时钟存取时间ATL—ActiveX Template Library—ActiveX模版库ATM—Asynchronous Transfer Mode—异步传输模式AV—Analog Video—模拟视频AVI—Audio Video Interleave—音频视频插入B2C—Business To Custom—商家对客户BASIC—Beginner—All-Purpose Symbolic Instruction Code —初学者通用符号指令代码BBS—Bulletin Board System—公告牌系统BCF—Boot Catalog File—启动目录文件BGA—Ball Grid Array—球栅阵列BIF—Boot Image File—启动映像文件BIOS—Basic Input Output System—基本输入输出系统BIS—Boot Integrity Service—启动整体服务BMS—Black Matrix Screen—超黑矩阵屏幕BOPS—Billion Operation Per Second—十亿次计算每秒BPT—Branch Prediction Table—分支预测表BPU—Branch Processing Unit—分支处理单元BTB—Branch Target Buffer—分支目标缓冲CAD—Computer Aided Design—计算机辅助设计CAE—Computer Aided Engineering—计算机辅助工程CAI—Computer Aided Instruction—计算机辅助教学CAM—Common Access Mode—公共存取模型CAM—Computer Aided Manufacturing—计算机辅助制造CBIC—Cell based Integrated Circuit—基于单元的集成电路CC—Companion Chip—同伴芯片CCD—Charge Coupled Dvice—电流连接设备CCM—Call Control Management—拨号控制管理CC-NUMA—Cache Coherent Non Uniform Memory Access —连贯缓冲非统一内存寻址CCT—Clock Cycle Time—时钟周期CDMA—Code Division Multiple Access—码分多址CDR—Compact Disc Recordable—可刻录光盘CD-ROM—Compact Disc Read Only Memory—光驱CD-RW—Compact Disc Rewriter—刻录机CDSL—Consumer Digital Subscriber Line—消费者数字订阅线路CE—Consumer Electronic—消费电子CEM—Cube Environment Mapping—立方环境映射CEO—Chief Executive Officer—首席执行官CG—Computer Graphic—计算机生成图像CGI—Common Gateway Interface—通用网关界面CHRP—Common Hardware Reference Platform—公用硬件平台CIEA—Commercial Internet Exchange Association—商业英特网交易协会CIR—Committed Information Rate—约定信息速率CISC—Complex Instruction Set Computing—复杂指令集计算机CLV—Constant Linear Velocity—恒定线速度CMOS—Complementary Metal Oxide Semiconductor—互补金属氧化物半导体存储器COB—Cache On Board—板上集成缓存COD—Chip On Board—芯片内集成缓存COM—Component Object Model—组件对象模型COO—Chief Organization Officer—首席管理官CPGA—Ceramic Pin Grid Array—陶瓷针形栅格阵列CPLD—Complex Programmable Logic Device—复杂可编程逻辑器件CPS—Characters Per Second—每秒字符数CPU—Central Processing Unit—中央处理器CRC—Cyclical Redundancy Check—循环冗余检查CRM—Custom Relationship Management—客户关系管理CRT—cathode Ray Tube—阴极射线管CSE—Configuration Space Enable—可分配空间CSS—Cascading Style Sheets—层叠样式表CTO—Chief Technology Officer—首席技术官CTS—Carpal Tunnel Syndrome—腕管综合症CUDA—Computer Unified Device Architecture—计算机统一装置结构CVS—Computer Visual Syndrome—计算机视觉综合症DAC—Dual Address Cycle—双重地址周期DAE—Digital Audio Extraction—数字音频抓取DB—Deep Buffer—深度缓冲DCD—Dynamic Content Delivery—动态内容推送DC—Domain Controller—域控制器DCE—Data Communication Equipment—数据通信设备DCOM—Distributed Component Object Model—分布式组件对象模型DCT—Display Compression Technology—显示压缩技术DDC—Display Data Chanel—显示数据通道DDN—Digital Data Network—数字数据网DDR—Double Data Rate—双倍速率DDSS—Double Dynamic Suspension System—双层动力悬吊系统DEC—Direct Etching coating—表面蚀刻涂层DES—Data Encryption Standard—数据加密标准DFP—Dynamic Feedback Protocol—动态反馈协议DHCP—Dynamic Host Configuration Protocol—动态主机配置协议DIB—Dual Independent Bus—双独立总线DIC—Digital Image Controller—数字图像控制DIMM—Dual Inline Memory Module—双列直插内存模块DIP—Double In-line Package—双列直插式封装DIR—Direct Infrastructure rendering—基层直接渲染DLL—Dynamic Link Library—动态数据链接库DLP—Digital Light Process—数字光处理DME—Direct Memory Execute—直接内存执行DMI—Desktop Management Interface—桌面管理界面DMI—Dynamic Method Invocation—动态方法调用DNS—Digital Nervous System—数字神经系统DNS—Domain Name System—域名系统DOS—Disk Operating System—磁盘操作系统DP—Dual Processor—双处理器DPI—Dots Per Inch—每英寸点数DPMS—Display Power Management Signal—显示能源管理信号DQL—Dynamic Quadrapole Lens—动态四极镜DRC—Design Rule Check—设计规则检查DSD—Direct Stream Digital—直接比特流数字DSL—Digital Subscriber Line—数字用户专线DSP—Digital Signal Processing—数字信号处理DST—Drive Self Test—驱动自检程序DTD—Document Type Definition—文件类型定义DTE—Digital Terminal Equipment—数据终端设备DVD—Digital Versatile Disc—数字多功能光DVD—Digital Video Disc—数字视频光盘DVD-RAM—Digital Versatile Disc Random Access Memory —DVD随机存储器DVI—Digital Video Interface—数字视频接口E3—Electronic Entertainment Expo—美国E3大展EAX—Environment Audio Extension—环境音效扩展EB—Expansion Bus—扩展总线EBR—Excess Burst Rate—超频突发速率ECC—Elliptical Curve Crypto—椭圆曲线加密EC—Embedded Controller—嵌入式控制ECP—Extended Capabilities Port—扩展并行口ECTS—European Computer Trade Show—欧洲计算机商贸展示会EDIF—Electronic Design Interchange Format—电子设计交换格式EEPROM—Electrically Erasable Programmable Read Only Memory—电擦可编程只读存储器EFEAL—Extension Field Elliptically Aperture Lens—可扩展扫描椭圆孔镜头EIDE—Enhanced Integrated Driver Electronic—增强电子集成驱动器EISA—Enhanced Industry Standard Architecture—增强工业标准架构EMI—Electromagnetic Interference—电磁干扰EMP—Emergency Management Port—紧急事情管理端口EPP—Enhanced Parallel Port—增强并行口EPU—Energy Processing Unit—能耗调控单元ERC—Electronic Rule Check—电气规则检查ERP—Enterprise Resource Planning—企业资源计划ERP—Estimated Retail Place—估计零售价ESCD—Extended System Configuration Data—扩展系统配置数据FADD—Floating Addition—浮点加FAT—File Allocation Table—文件分配表FBC—Frame Buffer Cache—帧缓冲缓存FCPGA—Flip Chip Pin Grid Array—反转芯片针脚栅格阵列FDBM—Fluid Dynamic Bearing Motor—液态轴承马达FDC—Floppy Disk Controller—软盘控制装置FDD—Floppy Disk Drive—软盘FDIV—Floating Divided—浮点除FDM—Frequency Division Multiplexing—频分多路复用FIR—Finite Impulse Response—有限推进响应FMUL—Floating Multiplication—浮点乘FMV—Full Motion Video—全动态影像FPGA—Filed Programmable Grate Array—现场可编程门阵列FPS—First Person Shooting—第一人称射击FPU—Floating Processing Unit—浮点运算单元—Frames Per Second—每秒传输帧数FRICC—Federal Research Internet Coordinating Committee—联邦调查因特网协调委员会FSAA—Full Scene Anti—aliasing—全景抗锯齿FSE—Frequency Shifter Effect—频率转换效果FSM—Finite Status Machine—有限状态机FSUB—Floating Subtraction—浮点减FTP—File Transfer Protocol—文件传输协议FWH—Firmware Hub—固件中心GDI—Graphic Device Interface—图形设备接口GIF—Generalized Timing Formula—一般程序时间GMCH—Graphic Memory Control Hub—图形内存控制中心GMR—Giant Magneto Resistive—巨型磁阻GPF—Generation Protection Fault—一般保护性错误GPS—Global Positioning System—全球定位系统GPU—Graphic Processing Unit—图形处理器GSM—Global System For Mobile Communication—全球移动通讯系统GUI—Graphical User Interface—图形用户界面GVPP—Generic Visual Perception Processor—常规视觉处理器HAL—Hardware Abstraction Layer—硬件抽象化层HCI—Host Control Interface—主机控制接口HCT—Hardware Compatibility Test—硬件兼容性测试HDA—Head Disk Assembly—磁头集合HDCP—High-Bandwidth Digital Content Protection—高带宽数字内容保护HDD—Hard Disk Drive—硬盘HDL—Hardware Description Language—硬件描述语言HDMI—High Definition Multimedia Interface—高清晰度多媒体接口HDSL—High-Speed Digital Subscriber Line—高速率数字用户路线HDTV—High Definition TV—高清电视HEL—Hardware Emulation Layer—硬件模拟层HiFDA—High_Capacity Floppy Disk—高容量软盘HMOS—High Performance Metal Oxide Semiconductor—高性能金属氧化物半导体HPA—High Power Amplifier—高功率放大器HPS—High Performance Server—高性能服务器HPW—High Performance Workstation —高性能工作站HRIF—Head Related Transfer Function—头部关联传输功能HTML—Hyper Text Markup Language—超文本标志语言HTPC—Home Theater Personal Computer—家庭影院电脑HTTP—Hyper Text Transmission Protocol—超文本传输协议HUD—Head Up Display—平视显示器IA—Intel Architecture—英特尔架构ICD—Installable Client Drive—可安装客户端驱动程序ICMP—Intel Control Message Protocol—英特尔控制报文协议ICU—Instruction Control Unit—指令控制单元IDCT—Inverse Discrete Cosine Transfer—非连续反余弦变换IDF—Intel Developer Forum—因特尔开发者论坛IEEE—The Institute Electrical And Electronic Engineerings—美国电气和电子工程师协会IETF—Intel Engineer Task Force—因特网工程任务组IEU—Integer Excute Unit—整数执行单元IID—Interaural Intensity Difference—两侧声音强度差别IIR—Infinite Impulse Response—无限推进响应IIS—Internet Information Service—互联网信息服务IKE—Intel Key Exchange—因特网密钥交换协议IMM—Intel Mobil Module—因特尔移动模块IP—Internet Protocol—互联网协议IPPR—Image Processing And Pattern Recognition—图像处理和模式识别IPS—In Plane Switching—平面转换IRC—Internet Relay Chat—互联网接力聊天IRQ—Interrupt Request—中断请求IRST—Intel Rapid Storage Technology—英特尔快速存储技术ISA—Industry Standard Architecture—工业标准结构ISA—Instruction Set Architecture—指令集架构ISDN—Integrated Service Digital Network—综合服务数字网络IS—Internal Stake—内置堆栈ISO—International Standard Organization—国际标准化组织ISP—Intel Service Provider—因特网服务供应商JIT—Just In Time—准时制生产JVM—Java Virtual Machine—Java虚拟机KBC—Keyboard Controller—键盘控制器LBA—Logical Block Addressing—逻辑块寻址LCD—Liquid Crystal Display—液晶显示屏LCM—LCD Module—LCD显示模组LCOS—Liquid Crystal On Silicon—硅上液晶LDAP—Lightweight Directory Access Protocol—轻权目录访问协议LDT—Lighting Data Transport—闪电数据传输LED—Light Emitting Diode—发光二极管LF—Linear Filtering—线性过滤LMDS—Local Multipoint Distributed System—局域多点分布式系统LPM—Library Parameterized Module—参数化模块库LTE—Long Term Evolution—长期演进LVDS—Low Voltage Differential Single—低压差分信号LVS—Layout Versus Schematic—版图原理图对比MAC—Media Access Controller—介质访问控制MALS—Multi Astigmatism Lens System—多重散光聚焦系统MB—Motherboard—主机板MDC—Mobile Daughter Card—移动式子卡MFC—Microsoft Foundation Classes—微软基础库MFD—Multi Function Device—多功能设备MIDI—Musical Instrument Digital Interface—乐器数字接口MIME—Multipurpose Internet Mail Extension—多用途因特网邮件扩展协议MIOC—Memory And I/O Bridge Controller—内存和I/O桥控制器MiPad—Multimodal Interactive Notepad—多语态互动式记事本MIS—Management Information System—管理信息系统MMVF—Multi-Media Video File—多媒体视频文件MPEG—Moving Picture Expert Group—运动图像专家组MPP—Massive Parallel Processing—巨量平行处理MPS—Multi Processor Specification—多重处理器规范MRP—Manufacturing Resource Planning—制造资源计划MRW—Midrange Workstation—中型工作站MSI—Microsoft Installer—微软安装程序MS—Magnetic Sensor—磁场感应器MSN—Microsoft Network—微软网络MSP—Media Stream Processor—媒体流处理器MTBF—Mean Time Before Failure—平均故障时间MTH—Memory Transfer Hub—内存转换中心MUD—Multiple User Dungeon—多用户地牢NAOC—No-Account Overclock—无效超频NAS—Network Attached Storage—网络连接式存储NAT—Network Area Translation—网络地址转换NBC—North Bridge Chip—北桥芯片NDIS—Network Driver Interface specification—网络驱动接口规范NDS—Novell Directory Service—网威目录服务NE—Netlist Extract—网表提取NIC—Network Interface Card—网络接口卡NNTP—Network News Transport Protocol—网络新闻传输协议NPC—Non Player Character—非玩着人物NT—New Technology—新技术OCR—Optical Character Recognition—光学字符识别OEM—Original Equipment Manufacturer—原始设备制造商OLGA—Organic Land Grid Array—基板栅格阵列OOP—Object Oriented Programming—面向对象的程序设计OPT—Optimized Production Technology—优化生产技术OS—Operating System—操作系统PCAV—Part Constant Angular Velocity—部分恒定角速度PCB—Printed Circuit Board—印刷电路板PCI—Peripheral Component Interconnect—外围装置连接端口PC—Personal Computer—个人计算机PC—Perspective Correction—透视纠正PDA—Personal Digital Assistant—个人数字助理PDS—Public Directory Support—公众目录支持PE—Parameter Extract—参数提取PGC—Parallel Graphic Configuration—并行图像设置PIB—Processor In a Box—盒装处理器PIC—Programmable Interrupt Controller—可编程中断控制器PICS—Platform For Internet Content Selection—英特网内容选择平台PIM—Personal Information Management—个人信息管理系统PLCC—Plastic Leadless Chip Carrier—塑料无引脚芯片载体PLD—Programmable Logic Device—可编程逻辑器件PLL—Phase Locked Loop—锁相环PNP—Plug And Play—即插即用POF—Polymer Optical Fiber—聚合体光纤POST—Power On Self Test—开机自检PPM—Pages Per Minute—每分钟打印页数PPTP—Point To Point Tunneling Protocol—点对点通道协议PQFP—Plastic Quad Flat Package—塑料方型扁平式封装PRML—Partial Response Maximum Likelihood—最大可能部分反应PSK—Pre-Shared Key—预共享密钥PSN—Processor Serial Numbers—处理器序列号PSU—Power Supply Unit—计算机电源PSW—Program Status Word—程序状态字PXE—Per-boot Execution Environment—预启动运行环境QBM—Quad Band Memory—四倍边带内存QOS—Quality Of Service—服务质量QPA—Quad Port Acceleration—四倍接口加速RADSL—Rate Adaptive Digital Subscriber Line—速率自适应数字用户路线RAM—Random Access Memory—内存（随机存储器）RARP—Reverse Address Resolution Protocol—反相地址解析协议RDF—Resource Description Framework—资源描述框架RISC—Reduced Instruction Ser Computing—精简指令集计算机RMA—Real Media Architecture—实媒体架构RNG—Random Number Generator—随即数字发生器ROB—Reorder Buffer—重新排列缓存区RPG—Role Playing Game—角色扮演游戏RPM—Revolution Per Minute—每分钟转数RRVP—Resource Reser Vation Protocol—资源保留协议RSD—Removable Storage Device—移动式存储设备RSDS—Reduced Swing Differential Single—小幅度摆动差动信号RTC—Real Time Clock—实时时钟RTL—Register Transmit Level—寄存器传输级RTSP—Real Time Streaming Protocol—实时流协议RTS—Real Time Strategy—即时战略RTS—Request To Send—需求发送SAM—Sales Available Market—可发售市场SAP—Sideband Address Port—边带寻址端口SATA—Serial Advanced Technology Attachment—串行高级技术附件SBC—South Bridge Chip—南桥芯片SBFS—Sample Boot Flag Specification—简单引导标记规范SCSI—Small Computer System Interface—小型计算机系统接口SC—Static Core—静态内核SCT—Software Compatibility Test—软件兼容性测试SDK—Software Development Kit—软件开发工具包SDRAM—Synchronous Dynamic Random Access Memory—同步动态随机存储器SDTV—Standard Definition Television—标准清晰度电视SEC—Single Edge Connector—单边连接器SEM—Spherical Environment Mapping—球形环境映射SET—Secure Electronic Transaction—安全电子交易SGML—Standard Generalized Markup Language—标准通用标记语言SIMD—SIngle Instruction Multi Data—单指令多数据SIV—System Information Viewer—系统信息观察SLI—Scanline Interleave—扫描线间插SMART—Self-Monitoring Analysis And Reporting Technology —自动检测、分析和报告技术SMB—System Management Bus—系统管理总线SMD—Surface Mount Device—表面安装设备SMIL—Synchronous Multimedia Integrated Language—同步多媒体集成语言SMIP—Simple Mail Transfer Protocol—简单邮件传输协议SMI—System Management Interrupt—系统管理中断SMM—System Management Mode—系统管理模式SMP—Symmetric Multi-Processing—对称式多重处理器架构SNMP—Simple Network Management Protocol—简单网络管理协议SNR—Single To Noise Rate—信噪比SOAC—System ON A Chip—系统集成多功能芯片SOC—System On Chip—片上系统SOI—Silicon On Insulator—绝缘体硅片SOS—Server Operating Systems—服务器操作系统SPD—Serial Presense Detect—串行存在检查SPEC—System Performance Evaluation Check—系统性能评估测试SPS—Shock Protection System—震动保护系统SP—Stack Pointing—堆栈指针SQRC—Square Root Calculation—平方根计算SRA—Symmetric Rendering Architecture—对称渲染架构SRR—Segment Register Rewrite—区段寄存器重写SRS—Sound Retrieval System—声音修复系统SSB—Super South Bridge—超级南桥芯片SSD—Solid State Disk—固态硬盘SSE—Streaming SIMD Extensions—单一指令多数据流扩展SSI—Small Scall Integration—小规模集成STB—Set Top Boxes—电视顶置盒STD—Suspend To Disk—磁盘唤醒STR—Suspend To RAM—内存唤醒STS—Switched Internet working Service—交换式网络互联服务SUA—Single User Account—单用户账号SVR—Switching Voltage Regulator—交换式电压调节TCA—Twin Cache Architecture—双缓冲结构TCO—Total Cost Of Ownership—拥有总成本TCP—Transmission Control Protocol—传输控制协议TCP—Transmission Control Protocol—传输控制协议TDP—Thermal Design Power—散热设计功耗TFT—Thin Film Transistor—薄膜晶体管TLB—Translate Look Side Buffers—翻译旁视缓冲器TOP—The Olympic Partner—奥林匹克全球合作伙伴TPS—Transactions Per Second—每秒处理事项数TQM—Total Quality Management—全面质量管理UART—Universal Asynchronous Receive/Transmitter—通用异步收发器UCC—Ultra Clear Coating—超清晰涂层UDMA—Ultra Direct Memory Access—高级直接内存访问UDP—User Datagram protocol—用户数据报协议UDP—User Datagram Protocol—用户数据报协议ULS—User Location Service—用户定位服务UPA—Ultra Port Architecture—超级端口结构UPS—Uninterrupted Power Supply—不间断电源USB—Universal Serial Bus—通用串行总线USDM—Unified System Diagnostic Manager—统一系统检测管理USWC—Uncacheabled Speculative Write Combination—无缓冲随即联合写操作VALU—Vector Arithmetic Logic Unit—向量算术逻辑单元VBI—Vertical Blanking Interval—垂直空白间隙VCMA—Virtual Channel Memory Architecture—虚拟通道内存结构VDM—Windows Driver Model—视窗驱动程序模块VDSL—Very-high-bit-rate Digital Subscriber Loop—甚高速数字用户环路VDT—Video Display Terminal—视频显示终端VESA—Video Electronic Standard Association—视频电子标准协会VFAT—Virtual File Allocation Table—虚拟文件分配表VFM—Wired For Management—有线管理VGA—Video Graphics Array—视频图形阵列VID—Voltage Identification Definition—电压识别认证VIP—Video Interface Port—视频接口VLIW—Very Long Instruction Word—超长指令集VLSI—Very Large Scale Integrated—超大规模集成电路VOD—Video On Demand—视频点播VPN—Virtual Private Network—虚拟局域网VPU—Vector Permutate Unit—向量排列单元VQTC—Vector-Quantization Texture Compression—向量纹理单元VRE—Voltage Reduction Enhance—增强型电压调节VRML—Virtual Reality Makeup Language—虚拟现实结构化语言VRM—Voltage Regulator Module—电压调整模块VSA—Virtual System Architecture—虚拟系统架构VSIS—Video Single Standard—视频信号标准VXML—Voice Extensible Markup Language—语音扩展标记语言WAIS—Wide Area Information Service—广义信息服务器WAN—Web Area Network—广域网WG—Wave Guide—波导合成Wi—Fi—Wireless Fidelity—无线保真WLAN—Wireless Local Area Network—无线局域网络WMI—Wired For Management Initiative—主动式管理线路WOL—Wake On Lan—局域网唤醒WPAN—Wireless Personal Area Network—无线个域网WSH—Windows Scripting Host—视窗脚本程序WWW—World Wide Web—万维网XSL—Extensible Style Sheet Language—可扩展设计语言ZAM—Zero Administration For Windows—零管理视窗系统ECL—Emitter Couple Logic—射极耦合逻辑CAM—Content Addressable Memory—内容寻址存储器MIPS—Million Instruction Per Second—每秒处理百万级指令。

基于有限状态机的健壮性测试研究

周章慧,王同洋,吴俊军,张新访ZH OU Zhang 2hui ,WANG Tong 2yang ,WU Jun 2jun ,ZHANG Xin 2fang(1.华中科技大学机械学院,湖北武汉430074;2.武汉天喻信息产业股份有限公司,湖北武汉430223)(1.School of Mech anical E ngineering ,H u azhong U niversity of Science and T echnology ,Wuhan 430074;2.Wuhan Tianyu I nform ation Industry Co.,Ltd,Wuh an 430223,China)摘　要:健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。

我们利用该方法对G lobalPlatform 卡规范中安全通信的安全通道协议SCP02进行了测试。

测试结果表明,该方法产生的测试案例包比GP 组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。

Abstract :Robustness testing for software products ,especially for those security 2related products has important signifi 2cance.By modeling software products using finite state machine ,and constructing increased complete finite state machine through extending states and state ’s response to the various unusual events ,this model can be used for robustness testing.We use the method to test the secure channel protocol ‘02’(SCP02)of secure communication in the G lobalPlatform card specification.The result shows that the test case package generated using this method has higher coverage and error detec 2tion capability.The generated test cases can be used not only for robustness testing ,but also for f unctional and conformance testing.关键词:健壮性测试;增强有限状态机;全球平台;安全通道协议K ey w ords :robustness testing ;increased finite state machine (IFSM );G lobalPlatform ;secure channel protocol 中图分类号:TP311.5文献标识码:A1　引言软件产品的出错大多数是由于对于异常输入不能容错引起的。

计算机专业英语11.4节 Finite-State Machine

专业英语11.4Finite-State Machines（有限状态机）编译原理中是有限状态自动机（Finite-State Automata）,与有限状态机不同，本节里的Moore machine 与有限状态自动机更接近。

We think of a machine as a system that can accept input, possibly produce output, and have some sort of internal memory(内存) that can keep track of certain information about previous inputs. The complete internal condition of the machine and all of its memory, at any particular time, is said to constitute the state of the machine at that time. The state in which a machine finds itself at any instant summarizes its memory of past inputs and determines how it will react to subsequent （随后的）input. When more input arrives, the given state of the machine determines(with the input) the next state to be occupied, and any output that may be produced. If the number of states is finite, the machine is a finite-state machine.我们将机器看做这样一个系统，他可以接受输入，也许会产生输出，他还有可以用来记录关于以前输入的信息的内存。

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

INTEGRATED FINITE STATE MACHINE AND RF TIMINGMODULES FOR VMEBUS AND VXIBUS INSTRUMENTATIONK. Woodbury, C. McClureFermi National Accelerator Laboratory*Batavia, Illinois 60510 USAABSTRACTA set of control and timing modules that provide a combination of a finite state machine (FSM) interface to the accelerator clock systems and RF resolution timing have been developed. These modules provide external process control and synchronization with accelerator events. Designed for both VMEbus and VXIbus platforms, these devices provide an integrated timing resource that has been utilized by various distributed control systems at Fermilab.1. INTRODUCTIONMuch of the timing and synchronization of the accelerators at the Fermi National Accelerator Laboratory complex is done through the use of global clock-timing systems; primarily the Tevatron Clock (TCLK) and Beam Synchronous Clocks (BSCLK). These clock signals carried on serial data links consist of a carrier (TCLK = 10MHz, BSCLKs = approximately 7.5 MHz, based on the RF frequency), onto which are encoded 8 bit events. Bi-phase Mark (modified Manchester) encoding is used. Events are decoded off the data stream and delays timed using the carrier. Beam synchronous clocks exist for almost all of the major accelerators at Fermilab.In addition, primary machine parameters, such as the Main Ring and Tevatron accelerator dipole magnet currents, are transmitted on another serial link called the Machine Data (MDAT) link. MDAT data frames are also encoded using Bi-phase Mark, however, no continuous carrier is provided. Data frames on the MDAT link are 24 bits in length, including an 8 bit data frame type identifier and 16 bit data value.These clocks are distributed throughout the accelerator complex via a system of repeaters and fan-out modules, and are used by a wide variety of control and timing modules and systems.2. UNIVERSAL DECODING RESOURCEThe initial motivation for this project was the pending retirement of the Unibus Clock Decoder [1]. This module, which resided in a PDP-11 computer, was responsible for receiving and storing Tevatron Clock event data. Data received was then distributed over Ethernet for transfer to the accelerator control consoles. For compatibility with previous system development efforts, a VMEbus replacement for this module was desired.For the VME/VXIbus system designer there was also the desire to use a single module to receive and decode the various clocks described above. This would, of course, reduce the amount of crate space used, as well as eliminating the need for managing module inter-activity.In response to both of these requirements, a universal decoding module was designed. This first module was most aptly named, the VMEbus Universal Clock Decoder (VUCD) [2].3. SYSTEM ARCHITECTUREThe VUCD can decode and process the TCLK, a BSCLK, and MDAT simultaneously. The overall module architecture is shown in figure 1 below.__________________________________* Work supported by the U.S. Department of Energy, contract No. DE-AC02-76CH03000.Figure 1. VUCD Block DiagramThe major components of the module can be divided into two functional subgroups; Event Reporting, with features similar to those found on the Unibus Clock Decoder and Process Control, which is primarily used for control system and instrumentation applications.Event reporting features include:•Event FIFO memory and free-running time stamp counter with programmable time-base (1 KHz - 1 MHz).•Two commercial interrupt controllers (MX68C153) used for immediate event interrupts.•One custom, FIFO-based, interrupt controller, which is preceded by event scalers. This controller is used for generating interrupts after a programmed number of event occurrences.•MDAT memory, which hold the current machine parameter values.•Two independent event bit-map memories, one for TCLK and one for a BSCLK. These are 16 bit x 16 bit matrices which record all incoming event occurrences. Automatic clear on read and time stamp support are also provided.Process control features include:•Two independent RAM-based finite state machines (FSM), one for the TCLK and one for a BSCLK.•Output control logic for processing FSM outputs.3.1 I/O ConfigurationThe clock inputs are taken either from the front panel or the rear P2 connector of the card. Outputs generated from the TCLK or the BSCLK (shown as BSYNC), can also be presented to the front panel or to the P2 connector. Outputs are predominantly used for external instrument timing or triggering.All outputs on the P2 match VXIbus TTLTRGn* assignments and only require output driver replacement for specification compatibility.3.2 RAM-Based Finite State MachinesThe core components of the module are the two RAM based finite state machines. Figure 2 shows the basicEach FSM consists of two elements: the Option Memory (FSM RAM) which holds a list of immediate actions to be completed when a particular clock event is decoded and the Page Control Logic which contains the state register. When a particular event is decoded and all programmed actions are completed, the new state, defined by the lower four bits of the active memory location, is placed in the state register. A change in the state register value forces the Page Control Logic to point to a different section of memory and therefore an entirely different response configuration for the incoming clock events. The FSMs for the TCLK and BSCLK operate independently from one another.As shown in Figure 2, the VME/VXIbus can force the FSM to a particular state in between clock events. This capability can be used to configure a FSM with a hold state and having the exit from the hold state under program control. Additional control of the FSM is also provided by allowing the VME/VXIbus to suspend event input into the FSM. VME/VXIbus actions are arbitrated to avoid collisions with clock events.Note that there is an extra line coming from the VME/VXIbus interface into the page control. This allows for programmed transition into anther state machine stored in a different bank of memory. This effectively doubles the number of possible states from 16 to 32.These FSMs can operate very rapidly as TCLK event spacing can be as little as 1.2 µs.For a more detailed example of a RAM Based FSM see reference [3].3.3 Event Triggered ActionsEvent triggered actions can either occur automatically or are programmed into the FSM RAM.Automatically occurring actions include the following:•Marking the event in the event bit map.•Updating system status.Programmed actions include the following:•Writing the event and current time stamp into the FIFO memory.•Resetting the time stamp counter.•Counting the event and automatically generating an interrupt on terminal count (often used for process scheduling).•Generating an immediate interrupt.•Generating an output pulse.•Setting or re-setting an output level.•Changing FSM state as outlined above.3.4 MDAT data storageAll current machine parameter values received from MDAT are stored in a dual port memory for immediate access.3.5 Combined FSM OutputAs described above, the two state machines, operate independently from one another. The FSM output control bits, however, feed a common output logic block. This provides a mechanism for providing RF synchronous outputs following a pre-determined TCLK event sequence.The BSCLK resolution is 132 ns (RF frequency / 7). To provide RF resolution timing two more modules were developed as described below.4. RF RESOLUTION TIMING SUPPORT4.1 VXI-UCDThe first module to be built with RF resolution timing was a "C sized" VXIbus card called the VXI Universal Clock Decoder (VXI-UCD) [4]. The core of VXI-UCD is identical to the VUCD, however, there have been some significant features added to the board. Among them are:•8 channels of independent event delay timers (time-base options: TCLK, BSCLK, VXIbus CLK10, External to 15 MHz).•Added interrupt based on programmed MDAT frame type arrival and•RF based Pulse Pattern Generator (PPG).4.1 RF Pulse Pattern GeneratorThe PPG consists of two elements, a 64K x 8 pattern memory and a programmable address counter which is used to index into the memory. Each bit position in the memory can be thought of as a column in a table which is either a "0" or a "1". Each of these columns can be directly mapped to one of the outputs. Pattern generation is initiated by programming a start address in the address counter and an end address in the address counter. Once a trigger is received by the address counter the pattern that is programmed in the memory is then presented to the output(s).The address counter can be programmed to play a selected number of pattern cycles, or can free-run until triggered or programmed to stop.The frequency that this PPG operates in is the range 35 - 53 MHz which corresponds to the frequencies of operation for the Fermilab accelerators.4.2 VMEbus RF TimerIn order to provide the same functionality as the VXI-UCD in a 6U VMEbus form factor, a third card was made, the VMEbus RF Timer (VRFT) [5]. The VRFT combined with a VUCD provides the same essential capabilities as the VXI-UCD.4.3 Example usageAn excellent example of the use of the VXI-UCD is described below (excerpt from reference [6]).The upgrade of the Fermilab Linac from 200 MeV to 400 MeV has reduced the losses in the Booster due to space charge effects, but the increased beam current causes greater coupled bunch mode instabilities. The challenges associated with designing a coupled bunch mode damper for the Booster are a large dynamic range, afast sweeping RF system, and a large spread in tunes through the cycle. A digital system is ideal for handling these problems; therefore, digital bunched beam dampers were designed. The damper configuration is shown in Figure 3. It consists of a common mode rejection front-end, digitizing units, fast memory, a D/A unit, and power amplifiers. All of the components, except for the power amplifiers, are VXI compatible and can be controlled with a personal computer or any other VXI control system.Figure 3: Block diagram of Fermilab Booster transverse digital damper system.The RF accelerating voltage in the Booster must ramp from a frequency of 37 MHz to 53 MHz in a cycle time of 33 ms, and the non-linear frequency ramp has a peak slope of 1 GHz/s near the beginning of the cycle. The revolution period varies from 2.8µs to 1.59µs. To maintain feedback on the proper bucket, the processing system must handle 1.21µs of delay change quickly.The VXI-UCD cards maintain the proper delay by remaining locked to the beam. The waveform generator memory is programmed with an interleaving pattern and clocked with an external reference which is the beam reference oscillator. This pattern triggers the digitzers to sample the beam and also triggers the digitizers to send signal to the kicker. The pattern can also be fine tuned to allow for single bucket precision in adjusting the delay.VXI-UCD cards also act as interpreters of the laboratories global trigger system. These triggers are used to control the start and stop times of the system as well as external gates which turn of the signal during delicate times of the acceleration cycle.5. POSSIBLE IMPROVEMENTSPossible improvements for these modules include:5.1 State TracingState tracing capabilities can be especially useful for process control and interfacing. This feature requires storing not only event and time stamp information, but state and possibly state transition information as well.5.2 Enhanced Multi-processor SupportTo improve support for multi-processor systems, an effective method for providing several message queues could be employed. This could include state tracing information as described above.5.3 Improved PPG output phase adjustmentImproved linearity of the PPG output phase adjustment circuitry would be beneficial, as the current circuitry shows significant phase variation over the full frequency range of operation.6. CONCLUSIONThese modules have proven to be an effective tool for the Fermilab VME/VXIbus system designer. They provide a seamless interface to the accelerator timing systems and provide RF resolution synchronization capabilities as well.7. ACKNOWLEDGMENTSWe wish to acknowledge David DuPuis who did the layout and prototype assembly of all of these modules and Jay Ticku who designed several of the timer chips used on the boards. We also wish to acknowledge all of the users, whose support and encouragement helped make these modules a reality. Special thanks to Jim Steimel for providing the module usage example (4.3) for this manuscript.8. REFERENCES[1]W. Knopf, "Unibus Clock Decoder", Controls Hardware Release 30.0, 1983. Fermi National AcceleratorLaboratory document.[2] C. McClure, Kerry Woodbury, et. al., "VUCD User's Manual", Controls Hardware Release 90.01, 1994.Fermi National Accelerator Laboratory document.[3] D. Beechy, "A Programmable Finite State Module for use with the Fermilab Tevatron Clock", Fermi NationalAccelerator Laboratory document.[4]K. Woodbury, Craig McClure, et. al., "VXI-UCD User's Manual", Controls Hardware Release 91.0, 1994.Fermi National Accelerator Laboratory document.[5]K. Woodbury, "VRFT-beta User's Manual", Controls Hardware Release 93.0, 1995. Fermi NationalAccelerator Laboratory document.[6]J. Steimel, "Fast Digital Dampers for the Fermilab Booster", Proceedings of the 1995 Particle AcceleratorConference, publication pending.。