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