正则表达式的验证工具，提供在C#中通过程序来判断，是学习和了解正则表达式的好帮手。推荐
上传时间： 2015-07-12
上传用户：tianyi223
MD5 验证工具，适合字符串，运行速度快，代码精简等特点
上传时间： 2014-01-04
上传用户：sunjet
Java 开发的MD5与DES验证工具，DES还包括签名。仅限学习探讨，Jar文件，安装jre可直接运行，也可解压运行。
上传时间： 2013-12-03
上传用户：bruce
《集成电路设计制造中EDA工具实用教程》共17章，分为三个部分。第一部分介绍半导体工艺和半导体器件仿真工具，分别介绍了Synopsys公司的TSUPREM4/MEDICI，ISE TCAD和Silvaco公司的Athena/Atlas等TCAD工具及其使用，并以ESD静电放电防护器件的设计及验证为实例介绍这些软件工具的应用。第二部分介绍了模拟集成电路设计工具的应用，辅以典型模拟IC电路的设计实例，以Cadence设计流程中的工具为主，同时也介绍了业界常用的Synopsys的Hspice电路仿真工具和Mentor Graphics的Calibre版图验证工具。第三部分为数字集成电路的设计工具使用教程，分别介绍了用Matlab进行系统级验证、用ModelSim和NC-Verilog进行HDL描述和仿真、用Xilinx ISE进行EPGA验证设计、用Synopsys的Design Compiler工具进行逻辑综合以及使用Cadence的SE和SOC Encounter进行IC后端设计等。最后介绍了可测性设计的基本概念和流程。
上传时间： 2022-07-16
上传用户：zhaiyawei
随着以太网技术的不断发展，网络的传输速度已经由最初的10M发展到现在的10,000M。用可编程逻辑器件(FPGA)实现以太网控制器与其它SOC系统的互连成为当前的研究热点。本文阐述了MAC层的FPGA设计、仿真及测试；介绍了整个系统的内部结构、模块划分，并对各个模块的设计过程进行了详细阐述，接着介绍了开发环境和验证工具，同时给出测试方案、验证数据、实现结果及时序仿真波形图。 对MAC层的主要功能模块如:发送模块、接收模块、MAC流程控制模块、寄存器模块、MⅡ接口模块和主机接口模块以及CRC，CSMA/CD，HASH表等算法给出了基于FPGA及硬件描述语言的解决方法。 本课题针对以下三个方面进行了研究并取得一定的成果: 1)FPGA开发平台的硬件实现。选用Xilinx公司的XC3S1000-FT256-4-C和ATMEL公司的ARM9200作为测试的核心器件，采用LXT971芯片作为物理层芯片，AT91RM9200作为数据输入源和双blockram作为帧缓存搭建FPGA硬件验证开发平台。 2)基于FPGA实现以太网控制器。用VerilogHDL语言构建以太网控制器，实现CSMA/CD协议、10M/100M自适应以及与物理层MⅡ接口等。 3)采用片上系统通用的WS接口。目的是便于与具有通用接口的片上系统互连，也为构建SOC上处理器提供条件。 本论文实现了一个基于WS总线接口可裁减的以太网MAC控制器IP软核，为设计具有自主知识产权的以太网MAC控制器积累了经验。同时，为与其它WS接口的控制器实现直接互连创造了条件，对高层次设计这一先进ASIC设计方法也有了较为深入的认识。
上传时间： 2013-07-17
上传用户：bruce
本文主要阐述基于FPGA对IEEE802.3快速以太网MAC层功能的实现.首先介绍了以太网协议以及快速以太网接入无源光网EPON的原理,然后重点阐述了MAC层的FPGA设计、仿真及测试.先总体介绍了对整个MAC系统的内部结构、模块划分,再对各个模块的设计进行了详细的描述,接着介绍了开发环境和验证工具,之后给出了测试方案,验证数据、实现结果及时序仿真波形图.最后是对下一步将设计的MAC IP应用于EPON的MAC层协议进行了研究分析,通过数学推导和实例给出了MPCP的DBA算法,并讨论了在MAC核中添加MPCP协议的实现方法.
上传时间： 2013-06-10
上传用户：时代将军
SABER是美国Analogy公司开发、现由Synopsys公司经营的系统仿真软件，是一种多技术、多领域的系统仿真产品，现已成为混合信号、混合技术设计和验证工具的业界标准，可用于电子、电力电子、机电一体化、机械、光电、光学、控制等不同类型系统构成的混合系统仿真，这也是SABER的最大特点。本文为Saber软件的中文入门教程
上传时间： 2013-04-24
上传用户：kristycreasy
CiA全称为“CAN in Automation－国际用户和厂商协会”，在德国Erlangen注册。CiA总部位于Erlangen，并由CiA董事会建立各个办事处。1992年，为促进CAN以及CAN协议的发展，欧洲的一些公司组成一个商业协会，提供CAN的技术、产品以及市场信息。到2002年6月时，共有约400家公司加入了这个协会，协作开发和支持各类CAN高层协议。经过近十年的发展，该协会已经为全球应用CAN技术的权威。CiA提供的各种服务有： 发布各类技术规范。免费下载CAN文献资料，提供CANopen规范、DeviceNet规范。 发布CAN产品数据库、CANopen产品指南。 出版CAN时事通讯杂志。 组织国际CAN会议（iCC）、CAN入门培训、CAN内部讲座。 在国际商业展览会上负责分发印刷资料，并举办CAN技术研讨会。 提供CANopen验证工具，执行CANopen认证测试。 为最终用户提供技术咨询服务，解答有关DeviceNet和CANopen的问题。 通过email、传真或电话等方式为器件开发人员、系统设计人员提供免费的咨询服务。 开发CAN规范(包括物理层定义、应用层和设备协议)，并发布为CiA标准。在CiA的努力推广下，CAN技术在汽车电控制系统、电梯控制系统、安全监控系统、医疗仪器、纺织机械、船舶运输等方面均得到了广泛的应用。2002年6月17日，广州周立功单片机发展有限公司与CiA正式签订协议，成为中国的第一家CiA团体会员（FCM）。我们将从CiA获得各类CAN技术资料、市场信息，并在CiA支持下，从事CAN技术在中国的推广工作。作为Philips公司在亚太地区的销量最大的微控制器元件销售商，广州周立功单片机发展有限公司提供Philips的CAN控制器、CAN收发器，以及LIN收发器。同时，广州周立功单片机发展有限公司提供CAN开发工具、CAN调试仪器，并为最终产品应用提供CAN嵌入模块、CAN接口模块、CAN高层协议软件库、CAN应用方案。第 1
标签： CiA
上传时间： 2013-12-22
上传用户：时代将军
这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具
上传时间： 2013-12-17
上传用户：ainimao
payment.htm：支付提交页面。主要用于测试提交支付。内附详细说明。 payment.jsp：订单生成程序。内附详细说明和表单提交内容制作程序。 payreceive.jsp：订单支付成功返回验证页面。主要用于验证返回的订单信息是否正确。 payreceive_notify.jsp：订单支付成功服务器端通知接收程序。防止商户订单掉单、挂单。 “MD5验证工具”文件夹：提供MD5校验程序，可测试MD5加密字符串正确与否。
标签： payment payreceive jsp htm
上传时间： 2014-10-29
上传用户：ljmwh2000
