EDACafe Industry Predictions for 2024 – Axiomise

By Dr. Ashish Darbari, Founder and CEO, Axiomise

Dr. Ashish Darbari

RISC-V, Chiplets, Formal Verification Adoption in 2024

2024 will offer up a cornucopia technological innovation, AI integration and perhaps unexpected market trends.

It’s hard to argue with the success and adoption of the RISC-V ISA. In 2024, open-source RISC-V implementations for high-performance compute will continue to take wings with interconnect-based SoCs for AI accelerations. Commercial verification tools will begin to emerge in 2024 to support the RISC-V hardware development ecosystems. It will be followed by a robust verification design flow that will quickly become an industry standard.

The semiconductor industry will also see increased adoption of chiplet for AI-based hardware. As the industry moves on to 5nm or less nodes, chiplet would be a key. A chiplet market trend could be the emergence of chiplet suppliers whose only product is a chiplet-based design.

Automotive functional safety though mostly dominated by Arm architecture so far would see new RISC-V players building processors and chipsets that would offer new features while ensuring compliance with ISO26262.

Security continues to be a challenge for hardware design, and here AI will play an interesting role in learning from threat patterns, and we believe adversarial AI would stand out.

Functional verification adoption would continue to see a staggered approach with big companies accelerating their design productivity and quality by adopting modern verification techniques like formal verification while the small to mid-size companies will struggle to get first-pass silicon. Requirements from DO254, ISO26262 and DO333 will force some of the design houses to shift gears on validation. It is perfectly reasonable that they would consider adoption of some blend of AI with formal methods although it still looks like early days for AI-based formal verification as there isn’t enough data to learn from for ASICs and FPGAs, something only very big design houses can do.

New AI integration will drive medical robotics, diagnosis and reporting for radiology, and histopathology. One semiconductor application, for example, focuses on developing advanced algorithms based on learning from formal verification tasks on different design patterns to enhance property extraction for bug hunting and perform automated debug.

Notwithstanding recession and slow economic growth, market trends will include chip design companies continuing to produce consumer products in home automation for smart health such as air purification and virus cleanse and wearables with advanced tracking for predictive disease detection using AI.

About Dr. Ashish Darbari

Ashish Darbari, CEO and Founder of Axiomise, has been actively using formal methods for more than two decades and is one of the foremost authorities in practical applied formal verification having trained nearly 200 designers and verification engineers globally. A keen innovator in formal verification, he is the founder and CEO of Axiomise and leads it by successfully deploying training, consulting, services, and verification IP to a range of customers. Dr. Darbari has expertise in all aspects of formal methods including theorem proving, property checking and equivalence checking. He holds a Doctorate formal verification from the University of Oxford and has 63 patents in formal verification.

This entry was posted on Wednesday, January 24th, 2024 at 10:14 am. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.