ST has tweaked its standard HLS flow for ISPs to meet the requirements of ISO 26262
UPF power state tables have become unwieldy due to rapid growth in LP design. The new construct, 'add_power_state' enables better verification flows.
Synopsys' line-up at next week's ARM TechCon includes joint presentations with Huawei and Nvidia.
Mentor will present seven papers during the ARMTech Con and a dedicated session, and exhibit at Booth #606.
Synopsys experts are now blogging about key issues in formal verification - how to use it, which techniques to apply, and the effort/reward ratio of doing so.
Oski Technology will offer a range of daily presentations at its DAC 2017 and useful technical advice in the main conference program.
Formal, AI and UVM form key parts of the OneSpin agenda for this year's Design Automation Conference.
Cadence has added two apps to its JasperGold lineup that handle clock-domain crossing and linting.
Japanese giant uses variable thermal simulation on automotive IC intended for harsh environments.
NVMe is driving the SSD market thanks to its many useful features, but at least five major challenges must inform your verification plan.
View All Sponsors