{"id":16479,"date":"2021-09-02T15:45:29","date_gmt":"2021-09-02T19:45:29","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/?p=16479"},"modified":"2026-03-27T08:47:22","modified_gmt":"2026-03-27T12:47:22","slug":"the-september-verification-horizons-is-now-online","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2021\/09\/02\/the-september-verification-horizons-is-now-online\/","title":{"rendered":"The September Verification Horizons is Now Online!"},"content":{"rendered":"\n
\"Verification<\/figure>\n\n\n\n


I’m really excited to share with you a very special issue of the Verification Horizons<\/em> newsletter for September, 2021. The theme of this issue is “The Value of Being Siemens EDA” and it is my first opportunity to pull together so many great articles that will highlight some of the many advantages we enjoy now that the acquisition is complete. In addition, we’ve now moved to a fully online platform, with all of the articles available for viewing and\/or downloading on the Verification Academy website<\/a>. You can access this issue directly here<\/a>.<\/p>\n\n\n\n

UPDATE<\/strong>: I had the opportunity to speak with Bernard Murphy of Semiwiki.com about this issue, and he was good enough to post his own article about it here<\/a>. Please go check it out.<\/p>\n\n\n\n

Aside from my usual Editor’s Introduction<\/a> (which I know so many of you enjoy ;-)), I know you’ll find these articles to be very informative and maybe even a little entertaining. I’ve listed all of the articles below, but there are a few in particular that I’d like to call to your attention.<\/p>\n\n\n\n

I had a great time interviewing <\/a>Harry Foster, our Chief Scientist for Verification, and Dominik Strasser, VP of Engineering (and co-founder of OneSpin) to get their perspectives on our recent acquisition of OneSpin and how their complementary technology will help us deliver more comprehensive formal solutions from automated apps to property checking and equivalence checking for a variety of applications from Functional Safety and Security to processor and machine learning to connectivity checking on the largest SoCs. There’s lots more to learn from these two verification giants, so I encourage you to read the article<\/a>.<\/p>\n\n\n\n

The concept of a Digital Twin<\/a> may sound familiar to those of us who are used to simulating RTL (and other) models of ICs, SoCs and systems. But Siemens has taken this idea all the way up to real-world systems like factories, aircraft and even autonomous driving in “smart cities.” The ability to take this idea and run with it to optimize the full design and manufacturing process through the use of a Digital Thread is one way that Siemens will continue to set itself apart. This idea is continued in a discussion specifically about Automotive IC development<\/a>.<\/p>\n\n\n\n

I’d also like to call your attention to a trio of articles on our Hardware-Assisted Verification<\/a> solutions, from emulation (using our Veloce Strato platform)<\/a> to FPGA Prototyping<\/a> (using our new Veloce proFPGA and Veloce Primo platforms).<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

Here is the full list of articles:<\/p>\n\n\n\n