Skip navigation
Electronic Design

EDA News

Verilog 2001 support and an assertions manager are incorporated in Aldec's Riviera 2004.04 verification tool. The new assertions manager supports OpenVera and Property Specification Language assertions. Pricing starts at $12,450. Download a free evaluation copy at

A SYSTEM-LEVEL APPROACH TO ARM-BASED DESIGN has sprung from a partnership between ARM and Synopsys. The pair integrated ARM RealView Model Library SystemC processor models with Synopsys' System Studio system-level design tool. Developers can create and analyze SystemC versions of AMBA-based SoCs more quickly and easily using System Studio as they optimize their SoC architectures. Go to or

Hide comments


  • Allowed HTML tags: <em> <strong> <blockquote> <br> <p>

Plain text

  • No HTML tags allowed.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Lines and paragraphs break automatically.