
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
1414 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

30,670 Listeners

4,178 Listeners

1,859 Listeners

1,630 Listeners

3,145 Listeners

232 Listeners

401 Listeners

968 Listeners

1,030 Listeners

257 Listeners

6,053 Listeners

9,829 Listeners

351 Listeners

1,326 Listeners

127 Listeners