{"id":13994,"date":"2019-12-06T12:15:47","date_gmt":"2019-12-06T19:15:47","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=13994"},"modified":"2026-03-27T08:47:10","modified_gmt":"2026-03-27T12:47:10","slug":"december-2019-verification-horizons-newsletter-is-out","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2019\/12\/06\/december-2019-verification-horizons-newsletter-is-out\/","title":{"rendered":"December 2019 Verification Horizons Newsletter is Out!"},"content":{"rendered":"

\"Verification<\/a><\/p>\n

We’re happy to give you a special Christmas (or whatever gift-giving holiday you may celebrate this time of year) present: the December issue of Verification Horizons<\/a>! In addition to a fun look at how the Harry Potter books and movies can be compared to verification, we have a great article on the verification of Deep Learning designs.<\/p>\n

After a great analysis of classical von Neuman architectures vs. Convolutional Neural Networks for implementing Deep Learning designs, my Mentor colleague Jean-Marie Brunet and noted verification expert Lauro Rizzatti explain “Why Hardware Emulation Is Necessary to Verify Deep Learning Designs<\/a>.” As you’ll see, it comes down to three main requirements to verify these CNN-centric designs:<\/p>\n

    \n
  1. Scalability – supporting designs from several million up to 10 billion gates.<\/li>\n
  2. Virtualization – moving the emulator from the lab to the data center making it an enterprise resource.<\/li>\n
  3. Determinism – ensuring the same result from one compile to the next, especially when debug is factored in.<\/li>\n<\/ol>\n

    The issue has several other valuable articles as well:<\/p>\n