Synopsys Inc. announced Imagination Technologies has deployed Synopsys' C--to-RTL formal consistency checking technology, named HECTOR, to verify its PowerVR family of semiconductor IP cores for graphics, video and display processing applications. Following a multi-year collaboration with Synopsys, Imagination Technologies is utilizing HECTOR to enhance its verification environment with the ability to verify and debug corner cases. The HECTOR technology has allowed to complete formal verification in minutes, where exhaustive techniques would have been impractical.

As a result, HECTOR has enabled to significantly improve the design verification capabilities within PowerVR GPU team.