Synopsys投资PROVER TECHNOLOGY公司

北京2008年5月7日／新华美通／-作为一家半导体设计和制造业软件及IP领先公司——Synopsys公司（纳斯达克代码：SNPS）与Prover Technology AB公司今天共同宣布，Synopsys已向Prover公司进行投资。Prover公司所提供的信号设计自动化解决方案应用于列车、转辙器和信号控制的安全关键性系统的工程设计领域。此项投资将加快Prover的研究开发工作，并拓展其在欧洲、北美和亚洲地区的运营规模。     

基于离散对数的VES改进及在公平交换协议中的应用

网络上常会有这样的需求,证实者(Prover)需要向验证者(Verifier)证实自己知道信息m,但又不能把m暴露给Verifier。可验证加密方案(VES,verifiableencryptionscheme)就是一种满足这样要求的特殊公钥加密方案。该方案中的Prover通过生成一个证据Cert,使Verifier通过验证就可以确定Prover是否拥有。文献犤1犦～犤3犦都提出了一些有效的VES方案,但是它们都潜在地假设Prover是诚实可信任的,这对冒名Prover攻击是脆弱的。文章提出了基于离散对数VES方案的一个改进方法,克服了这个缺点。新方案在生成Cert时多使用一个公开信息Y,是由可信任第三方(TTP)的一个公钥加密m得到的密文。这样,由于生成Cert同时需要m和Y,它们的不一致就会导致验证的失败,因而改进VES可以避免冒名Prover攻击。作为VES的一个应用,还提出了基于VES的公平交换协议,该协议与普通的公平交换协议相比具有形式简单,易于实现,不需要TTP直接参与等优点。     

基于DSP的有源电力滤波器控制系统的硬件设计

以TI公司的电机、逆变器控制专用DSP芯片TMS320LF407A为基础,介绍了关于有源电力滤波器控制系统的硬件设计.包括DSP芯片的工作电路设计、外围信号采集电路的设计及IGBT智能功率模块IPM的设计.     

基于DSP的地震预警装置硬件设计

设计了一种基于DSP的地震预警装置的硬件系统.主要包括信号检测、放大及滤波、A/D变换、数据处理、信号传输等部分,整个预警装置电路设计体现了干扰抑制力强、温度特性好、响应实时的特点.经过模拟测试,该系统设计合理,性能稳定,能够对地震事件发出可靠的预警信号.     

高速信号采集与数据形成系统硬件设计

本文结合数据采集系统在雷达视频回波信号处理中的应用,介绍了基于XINLINX公司最新一代FPGA-Vertex5和National Sereiconductor公司的超高速8位A/D转换器(ADC08D1500)的信号采样与数据形成系统.详细介绍了系统各个部分的接口电路和控制信号的设计.     

赛灵思面向未来十年的“All Programmable"设计套件Vivado震撼登场

日前,全球可编程平台领导厂商赛灵思公司(Xilinx,Inc.(NASDAQ:XLNX))全球公开发布以IP及系统为中心的新一代颠覆性设计环境Vivado设计套件,致力于在未来十年加速"All Programmable"器件的设计生产力.Vivado不仅能加速可编程逻辑和IO的设计速度,而且还可提高可编程系统的集成度和实现速度,让器件能够集成3D堆叠硅片互联技术、ARM处理系统、模拟混合信号(AMS)和绝大大部分半导体IP核.     

基于PowerPC的嵌入式系统硬件设计

在本设计中,使用了Motorola公司的RISC处理器PowerPC7410作为核心处理器.该处理器是新一代G4处理器,具有高性能和低功耗的特点,外接一个2Mbytes L2 Cache作为二级缓存,以提高运算速度.以Tundra公司为PowerPC专门设计的桥芯片/存储器控制器Tsi107作为北桥芯片,利用60X总线和PowerPC7410相接,用以把60X总线信号转化为PCI总线信号,并管理Flash和SDRAM.此设计充分利用60X总线高数据传输速率和优秀的连接性能,发挥了MPC7410的高可靠性和强大的处理能力,使该硬件平台具有优良的性能.     

稳扎稳打 提升本土模拟IC实力——专访圣邦微电子有限公司总裁张世龙博士和业务拓展部总监姚若亚博士

圣邦微电子是一家专注于高性能、高品质模拟/混合信号集成电路研发、生产和销售的半导体公司.自创建以来,始终坚持自主创新,在业界树立了脚踏实地、稳扎稳打的企业形象.目前,圣邦微在模拟电路和电源管理方面已经具备了相当的实力,成为本土集成电路设计公司中的佼佼者.     

交流·设计·实现 ADI首届设计峰会圆满落幕——携手Xilinx、MathWorks,全力简化系统级设计

<正>2013年5月22日,ADI公司在北京举办了2013设计峰会,这是一场面向模拟、混合信号和嵌入式系统工程师的高峰设计会议,旨在帮助工程师应对日益复杂的设计需求。ADI与Xilinx和Mathworks公司等战略合作伙伴紧密携手,从建模、可编程逻辑以及混合信号处理各方面全力简化系统级设计。     

基于Matlab/DSP Builder多波形信号发生器的设计

为多种波形信号发生器的设计提出了一种较为简单的解决方案,根据各种波形产生的基本原理,利用Matlab/DSP Builder建立其数学模型,然后利用ALTERA公司提供的Singacompler工具对其进行编译,产生QUARTUSII能够识别的VHDL源程序,并且给出了多波信号发生器的顶层原理图,经过波形仿真后,下载到目标器件中,实现了多种波形信号的输出。其设计简单,修改灵活,输出波形信号稳定等优点,完全可根据用户需要进行现场可编程。     

Top-Down设计方法探讨——Pro／ENGINEEE在中兴通讯传输产品中的应用

一、背景介绍 我公司在2001年以前主要使用AutoCAD来完成产品的结构设计,同时也用Pro/ENGINEER软件完成一定范围的结构设计.经过多年的使用,发现以下几个主要问题影响了产品的设计品质、设计周期和数据管理.     

Labwindows/CVI虚拟仪器软件在测试领域中的应用

结合一个虚拟信号发生器的设计与实现,介绍了虚拟仪器技术的基本概念、发展现状及其主要特点,并与传统仪器在使用性能,维护等方面进行了比较.通过开发某一虚拟信号发生器的流程,重点阐述了基于美国NI公司的软件开发平台Labwindows/CVI的设计方法和实现技术.最后,论述了虚拟仪器技术在测试领域中的应用,并展望其良好的发展前景.     

基于DSP信号采集系统设计与实现

介绍了一种基于TMS320F2812 DSP芯片设计的信号采集系统,讨论了系统硬件组成中信号调理模块和A/D转换模块的设计要点,同时介绍了FIR数字滤波器在DSP中的实现方法.     

江苏中烟工业公司投资项目管理信息系统设计

随着烟草行业管理体制改革的不断深入,为了适应新时期固定资产投资项目管理工作的要求,需要有完善的投资项目管理系统进行有效支撑,提高投资决策的科学性,提高投资效益和效率。江苏中烟工业公司投资项目管理信息系统设计在综合考虑企业实际需求和业务特点的前提下,借鉴了国内外的最佳实践经验,注重投资项目的全过程管理。到该文完成时为止,江苏中烟工业公司投资项目管理系统已经全部上线并运行良好。     

利用Matlab/DSP Builder实现DDS的设计

介绍了一种自行设计的基于FPGA芯片的DDS信号发生器设计的解决方案,根据DDS的基本原理,利用Matlab/DSPBuilder建立DDS基本模型,然后利用ALTERA公司提供的Singacompler工具对其进行编译,产生QUARTUSII能够识别的VHDL源程序,并且给出了采用ALTERA公司的cyclone系列的FPGA芯片EP1C12Q240C8进行直接数字频率合成器的实现方法。     

TMS320C31 DSP和12位串行D/A MAX536之间的接口设计及其应用

以某弹所使用的TI公司生产的TMS320C31型DSP为例，分析了同步高速串行口和12位串行D/A转换器MAX536的接口信号时序，从简化系统设计和提高系统可靠性角度，设计了3种无逻辑的接口方式来实现4路模拟控制信号的同步输出，并详细给出了第一、第二种方法的硬件连接图、软件框图、C31寄存器控制字和实际调试的时序图。     

数字调频调制器AES/EBU音频接口设计探析

本文详细分析了AES/EBU音频信号的编码、格式结构,结合调频同步广播激励器的设计,提出基于DSP的AES/EBU音频信号解码方案.并给出了实现方案的解码电路和程序流程.     

基于DSP+FPGA的GPS接收机平台设计

研究了基于DSP和FPGA技术的GPS接收机设计,以TI公司的TMS320VC5510和XINLINX公司的XC2V3000为例,给出了具体的设计方法和设计电路:采用CCS自带的DSP/BIOS软件实现了系统的嵌入式设计,给出并划分了各个任务的功能;利用本设计完成的样机给出了实际GPS卫星信号捕获和跟踪的结果.这种设计方法也同样适用于其他卫星系统的接收机设计.     

CATIAV5软件在汽车零部件强度设计上的应用

CATIA是法国达索飞机公司开发的CAD/CAM软件.在中国由IBM公司代理销售.CATIA软件以其强大的功能在飞机、汽车、轮船等设计领域享有很高的声誉.全球知名的汽车公司已经100%的切换为CATIA设计,并且国内一汽集团也在CATIA上投入将近一个亿,可见大家对CATIA软件的认同,北汽福田汽车公司于2003年引进CATIAV5,并当年就在其旗下的欧曼重卡体现出明显的效益.CATIA软件在汽车设计上的应用越来越广泛,下文以转向助力器支架的设计改进过程为例,简介使用CATIA软件的经验和体会.     

多元动态演绎在Prover9证明器中的应用

Prover9证明器只采用二元归结方法,是一种静态的、局部的推理规则。基于矛盾体分离规则,提出了一种多元动态演绎算法,采用整体式演绎框架,通过子句演绎权重与文字演绎权重规划演绎路径,并带有回溯机制搜索较优路径。以CADE2017竞赛例(FOF组)进行测试,加入多元动态演绎算法的Prover9证明器证明定理总数提高了40.7%,且所用的平均时间降低了7.46 s。实验表明,提出的多元动态演绎算法是一种有效的推理方法,能有效提高一阶逻辑自动定理证明器的能力。