2024 Outlook with Laura Long of Axiomise
Axiomise pioneered the adoption of formal verification in the semiconductor industry since 2017. Led by visionary CEO, Dr. Ashish Darbari, who has 63 patents in formal verification, and Neil Dunlop an industry veteran with 40 years of experience, Axiomise has helped twenty customers over the last six years by providing them access to bleeding-edge formal verification methodology via its training programs, consulting & services and vendor-neutral formal verification app for end-to-end verification of RISC-V processors.
Tell us a little bit about yourself and your company.
Axiomise provides consulting & services, training and application-specific apps for RISC-V verification such as formalISA for deploying formal methods on complex SoCs. Through our abstraction-driven methodologies and six-dimensional coverage solutions that can be used with any commercial formal verification tool, our experts can tackle the most challenging formal verification problems on a wide variety of designs including RISC-V, Arm, or x86 processors, GPUs or video blocks, networking blocks including Wi-Fi, 5G, and AI/ML.
I am the Business Development Director of the firm and joined the team in February last year.
What was the most exciting high point of 2023 for your company?
To read the full article, click here
Related Semiconductor IP
- Process/Voltage/Temperature Sensor with Self-calibration (Supply voltage 1.2V) - TSMC 3nm N3P
- USB 20Gbps Device Controller
- SM4 Cipher Engine
- Ultra-High-Speed Time-Interleaved 7-bit 64GSPS ADC on 3nm
- Fault Tolerant DDR2/DDR3/DDR4 Memory controller
Related Blogs
- 2024 Outlook with Chris Morrison of Agile Analog
- 2024 Outlook with Stephen Fairbanks of Certus Semiconductor
- ST-Ericsson (Part 3): Strategy And Outlook
- How Long Can Intel Stay No.1?
Latest Blogs
- Shaping the Future of Semiconductor Design Through Collaboration: Synopsys Wins Multiple TSMC OIP Partner of the Year Awards
- Pushing the Boundaries of Memory: What’s New with Weebit and AI
- Root of Trust: A Security Essential for Cyber Defense
- Evolution of AMBA AXI Protocol: An Introduction to the Issue L Update
- An Introduction to AMBA CHI Chip-to-Chip (C2C) Protocol