Tools
Mentor Graphics uncorked the latest version of its Catapult high-level synthesis platform, adding a formal-based C Property Checker tool to automatically identify and formally prove hard-to-find issues like uninitialized memory, divide by 0, and array bounds errors in the users' HLS C++/SystemC model.
IP
ARM unveiled the Cortex-A73 and Mali-G71 processors. According to ARM, the g...
» read more