
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
5
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
1,267 Listeners
1,626 Listeners
4,308 Listeners
30,928 Listeners
31,955 Listeners
425 Listeners
1,766 Listeners
700 Listeners
269 Listeners
706 Listeners
874 Listeners
8,788 Listeners
5,370 Listeners
337 Listeners
935 Listeners