
Sign up to save your podcasts
Or


Dan is joined by Adeel Liaquat, a formal verification manager at Axiomise. The company delivers cutting-edge scalable and predictable formal verification solutions shortening the time-to-market, and left-shifting the verification curve.
Dan explores the substantial verification challenges for advanced designs with… Read More
By SemiWiki5
1515 ratings
Dan is joined by Adeel Liaquat, a formal verification manager at Axiomise. The company delivers cutting-edge scalable and predictable formal verification solutions shortening the time-to-market, and left-shifting the verification curve.
Dan explores the substantial verification challenges for advanced designs with… Read More

7,608 Listeners

4,349 Listeners

2,178 Listeners

1,936 Listeners

1,644 Listeners

231 Listeners

653 Listeners

1,326 Listeners

257 Listeners

9,927 Listeners

511 Listeners

60 Listeners

39 Listeners

467 Listeners

184 Listeners