DAC 2022 preview: Axiomise

By TDF Staff |  No Comments  |  Posted: July 7, 2022
Topics/Categories: Blog - EDA, - Verification  |  Tags: , , , ,  | Organizations: ,

  • Print
  • Share

Related Posts

  1. ‘Shocking’ quality sees vendors organize around RISC-V verification
  2. Siemens buys formal start-up OneSpin
  3. Less than one-in-five FPGA projects avoid bug escapes (Wilson Functional Verification 2020 – Part Two)

Axiomise, the formal verification specialist, will present at a number of events during the Design Automation Conference (DAC) in San Francisco next week.

Founder and CEO Dr. Ashish Darbari will participate in a panel discussion titled ‘Those Darn Bugs! When Will They be Exterminated for Good?’ on Monday, July 11, from 3 p.m. until 3:45 p.m. at The DAC Pavilion.

He will also deliver a talk on ‘Taming the Beast: RISC-V Formal Verification Made Easy’ at the Cadence Design Systems Theater (DAC Booth #1511) both on Monday at 4 p.m. and on Tuesday, July 12 at 1:30 p.m.

Axiomise offers a range of consultancy, training, services and dedicated RISC-V solutions.

DAC 2022 takes place at the Moscone West conference center in San Francisco. It is collocated with SEMICON West. The DAC conference runs July 10-14 and the exhibition from July 11-13.

Comments are closed.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors