When I was in Tel Aviv for CDNLive Israel, I sat down with Ziyad Hanna to discuss what Cadence calls "Smart Formal Technologies". This is using deep learning techniques to improve formal...
[[ Click on the title to access the full blog on the Cadence Community site. ]]
[[ Click on the title to access the full blog on the Cadence Community site. ]]