We're energized from the exchange of knowledge among OneSpin 360™ #users and #experts at Osmosis! Huge thanks to ams OSRAM, Kalray, Maxlinear, Sandia National Labs, Xilinx for sharing #casestudies on meeting #verification goals with #formal. Videos are coming soon—stay tuned!

Here's one for our followers in #Serbia! Vladislav Palfy will participate in @Veriest 's "5 Talks on RISC-V" #webinar (in Serbian) on November 18th. Молим те придружи нам се! Registration and details: bit.ly/300TnWU #RISC_V RISC-V International

Debugging #embedded designs is much harder as interactions between HW & SW grow & as more features are crammed into chips/packages/systems. But there are some advances on this front semiengineering.com/debugging-embe… #debugging #semiconductor #cybersecurity #verification #software #RISCV

Abstraction is key to custom #processor #design and #verification—but defining right #language and #tool flow is hard. Brian Bailey explores #HLS for RISC-V International on Semiconductor Engineering. Sven Beyer weighs in on custom instructions, keeping models in sync. #risc_v bit.ly/3n25UCw

Why is it so challenging to prevent #cyberattacks on the #IC supply chain? John Hallman offers thoughts on #chip complexity and the involvement of multiple suppliers in his comments for John Koon's latest piece on Semiconductor Engineering. bit.ly/3wBh98k

When it comes to #debugging #embedded applications, #software and #hardware interdependencies complicate things. Rob van Blommestein extols the virtues of #formalverification as part of AnnStefforaMutschler's latest article for Semiconductor Engineering bit.ly/3C4hwZV

Tomorrow is Veriest's "5 Talks on RISC-V" #webinar, which will be presented in Serbian. Vladislav Palfy and other open source enthusiasts will share their expertise. Молим те придружи нам се! Registration and additional details: bit.ly/3Fek3CH #RISC_V RISCV

The Nokia FPGA Conference & Hackathon starts tomorrow! Neil Rattray will present "Automatic #Formal Checking with OneSpin 360™" and all hacker teams will have access to our tools. We wish participants the best of luck—watch out for those pesky bugs! bit.ly/3oqwFA8

Get ready: DVClub Europe starts at 12:00 GMT! Theme is "Using #ML and #AI in #semiEDA Tools" Yassine Eben Aimine will discuss "Leveraging ML/AI in OneSpin’s Formal Tools: Use Cases and Opportunities" bit.ly/3qYiaWX Event details: bit.ly/32rnLLp

If you missed the Nov meeting of DVClub Europe: Using #ML and #AI in #semiEDA Tools, fear not! Slides and video are now available for download! FAE Yassine Eben Aimine presented "Leveraging ML/AI in OneSpin’s #Formal Tools: Use Cases and Opportunities" bit.ly/3I1iH0B

We're having a great time at the Design Automation Conference in San Francisco! Stop by the OneSpin exhibit booth (1st floor, #1539) for wine and cheese—they pair perfectly with #formalverification! #58thDAC @58_59DAC

Boy, did we miss this! What a pleasure to gather in person with our OneSpin colleagues here in San Francisco for @58_59DAC. We had a fantastic team dinner at URBAN PUTT on Sunday night—looking forward to more fun as the week goes on! #58thDAC #teambuilding

OneSpin: A Siemens Business gets my best booth award at the #58thDAC

It's been a pleasure for Team OneSpin to meet face-to-face with our new colleagues at Siemens Digital Industries Software this week at @58_59DAC. Thank you for making us feel welcome! #58thDAC

One of the best things about @58_59DAC is seeing our users doing what they do best: sharing their technical knowledge! Here's Keerthikumara Devarajegowda of Infineon sharing his work on Formal Verification of Safety Mechanisms at the Designer Track Poster Session #58thdac

Another Design Automation Conference has come and gone. If you stopped by our #58thDAC exhibit for the latest in #formalverification—or just a little taste of California's Wine Country—thank you for visiting us at @58_59DAC!

If you attended DVCon India this week, we hope you took advantage of content from OneSpin and Siemens Digital Industries Software. If you missed our Verification of #RISC_V Cores workshop or want to learn more, check out Resources on our website—lots of useful material! bit.ly/3yuuEYe

The December issue of New Electronics included a feature in which John Hallman looks at continuous #SoC #verification from pre-fabrication throughout the device #lifecycle. Did you miss the print edition? No worries! We've got you covered with a PDF: bit.ly/3ngWAu8

#ThrowbackThursday: At ICCAD #China in Dec., we welcomed throngs of eager attendees to the Siemens Digital Industries Software exhibit. In the conference sessions, Wei Wei Chen and Lincoln Lee kept the audience's attention with presentations on the latest in #design and #verification #technology

#FlashbackFriday: We loved participating in Nokia's annual #FPGA Conference & Hackathon back in November. We were impressed with how hackathon teams leveraged the power of OneSpin 360 and other Siemens Digital Industries Software tools in their quest to win the challenge. Creativity and talent!