EDN

Bluespec synthesizes SystemVerilog verification assertions

Santa Cruz, Calif. – Claiming a new capability for chip designers, startup Bluespec Inc. this week will announce its ability to synthesize SystemVerilog verification assertions into Verilog 1995 RTL ...
EDN

New simulation capabilities advance SystemVerilog

Santa Cruz, Calif. — Two verification providers — Mentor Graphics Corp. and Axiom Design Automation — are claiming new simulation technology this week that offers broad support for the emerging ...
Business Wire

Aldec Brings Assertions to FPGA Designers with the Release of Active-HDL 8.1

HENDERSON, Nev.--(BUSINESS WIRE)--Aldec, Inc., a pioneer in mixed-language simulation for ASIC and FPGA devices, announced today the release of Active-HDL 8.1. The new release introduces a ...
Electronic Design

SystemVerilog Support Leads Debuggers' Upgrades

Database upgrades, clock-tree and timing debug features, and support for assertion-driven debugging have all been added to Novas' debug systems. In the latest versions of its Debussy and Verdi ...