September 8, 2022
Equivalence checking supports the efficient reuse of designs that reside on out-of-date silicon but remain valid in their own right.
October 22, 2020
Functional verification for increasingly complex ARM-based designs is at the heart of the new consultancy partnership.
February 28, 2020
A new technical article discusses Renesas' addition of SLEC to its SystemC and RTL flows and the improvements it achieved in time and coverage..
October 4, 2019
The third part of this series takes the original CNN demonstrator through a full ISO 26262 type functional safety workflow
October 2, 2019
An object classification demonstrator shows how high-level synthesis (HLS) can speed the delivery and exploration of automotive design.
March 20, 2019
Not only has Microsoft decided to make a compression algorithm intended for data centers open source, the company the company is providing its own RTL to anyone who wants to implement it in silicon.
December 31, 2018
Closing code coverage from HLS has been tricky because the C++ tools were built for software not hardware. But that is changing.
December 7, 2017
ST has tweaked its standard HLS flow for ISPs to meet the requirements of ISO 26262
June 18, 2013
SystemVerilog and Synopsys Verdi integration are among further enhancements as clock domain crossing competition intensifies.
April 25, 2012
Cutting the cabling to simplify the emulation process.