DAC 2022 preview: Axiomise
Axiomise founder and formal expert Ashish Darbari will present across multiple events at DAC in San Francisco next week.
training
Coronavirus Resources: Mentor
Live and on-demand videos as well as You Tube 'tips and techniques' clips form part of a wide 'work at home' support package from Mentor.
Energy-efficient implementation of machine-learning algorithms for IoT
White paper goes from general principles through to worked examples of efficient machine-learning algorithm implmentations on dedicated processor IP.
White paper outlines challenges of developing machine-learning hardware
A recent white paper from Synopsys outlines the complexities of developing hardware for use in machine-learning and artificial-intelligence (AI) systems.
Free formal verification primer offered by Synopsys
Free e-book offers an introduction to formal verification methods for those who may be curious about the technique, or who need to understand its advantages and limitations in order to manage its use effectively.
DAC to train on machine learning
DAC's traditional training day is expanding into the field of machine learning this year in Austin.
PLATINUM SPONSORS
View All Sponsors