FPGA设计创建、管理与代码质量检查工具HDL Designer
在高可靠性流程中,具备有效管理设计数据的环境是一个重要理念。HDLDesigner借助管理配置工具与设计流程中的其它工具,可提供RTL设计创建、编辑、代码质量检查与可重用分析,并且支持网页形式的设计检查方式。它带...
FPGA跨时钟域检查工具Questa CDC
随着FPGA复杂性的不断增加,其设计中包含的时钟域也越来越多,在实际硬件上,经常会遇到亚稳态的问题,然而亚稳态问题在通常的仿真过程中很难被暴露出来,因此导致当FPGA实现或芯片生产出来之后才发现CDC(ClockDom...
LoadRunner
LoadRunner的奥秘通过直观的录制与回放机制(包括TruClient专利技术),LoadRunner重现了用户在生产环境中执行的真实业务流程。随后,用户可对这些脚本轻松进行修改,进而模拟真实的用户行为。企业应用正变得越...
Webinspect
下一代Web扫描WebInspect软件是一款行业领先的web应用安全评估软件。WebInspect解决了复杂的Web2.0问题,且能找到传统扫描程序无法发现的漏洞。WebInspect支持如今最复杂的Web应用技术,由于采用了突破性自动检测技...
Fortify SCA
FortifySCA扫描引擎数据流引擎:跟踪,记录并分析程序中的数据传递过程所产生的安全问题。语义引擎:分析程序中不安全的函数,方法的使用的安全问题。结构引擎:分析程序上下文环境,结构中的安全问题。控制流引擎:分...
Virtualize
主要功能录制真实系统行为及回放为了便于录制和虚拟化依赖的应用程序的行为,ParasoftVirtualize能连接到被测应用程序并捕捉正在运行的依赖的应用程序的流量信息。经过简单的一次性设置,ParasoftVirtualize监听...