Axiomise founder and formal expert Ashish Darbari will present across multiple events at DAC in San Francisco next week.
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.
White paper goes from general principles through to worked examples of efficient machine-learning algorithm implmentations on dedicated processor IP.
A recent white paper from Synopsys outlines the complexities of developing hardware for use in machine-learning and artificial-intelligence (AI) systems.
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's traditional training day is expanding into the field of machine learning this year in Austin.
View All Sponsors