DAC 2022 preview: Axiomise
Axiomise founder and formal expert Ashish Darbari will present across multiple events at DAC in San Francisco next week.
consultancy
Mentor and Arm collaborate on RTL verification reviews
Functional verification for increasingly complex ARM-based designs is at the heart of the new consultancy partnership.
Combining tools and services for evolving automotive design flows
Automotive companies need to partner closely with tool suppliers as design processes are disrupted by new technologies.