February 22, 2016
Verification specialist's DVCon activities are headlined by a panel on emulation and static verification.
October 19, 2015
Vendor adds verification support for 25G, 50G and 100G Ethernet through emulator-based virtualization.
May 22, 2014
Imagination Technologies has set up an open-source effort that mirrors ARM's Linaro group and cut a deal with Oracle for Java optimization.
June 17, 2013
Incremental formal verification of ECOs makes finalisation of chip design process faster, more predictable.