#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 @siemenssoftware tools in their quest to win the challenge. Creativity and talent!

#ThrowbackThursday: At ICCAD #China in Dec., we welcomed throngs of eager attendees to the @siemenssoftware 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

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

If you attended @DVConIndia this week, we hope you took advantage of content from OneSpin and @siemenssoftware. 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

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!

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

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

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 @UrbanPutt on Sunday night—looking forward to more fun as the week goes on! #58thDAC #teambuilding

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

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

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

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

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

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

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 @SemiEngineering. bit.ly/3wBh98k

Abstraction is key to custom #processor #design and #verification—but defining right #language and #tool flow is hard. @brian_esl explores #HLS for @risc_v on @SemiEngineering. @svenbeyer42 weighs in on custom instructions, keeping models in sync. #risc_v bit.ly/3n25UCw

Here's one for our followers in #Serbia! @VladislavPalfy 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

We're energized from the exchange of knowledge among OneSpin 360™ #users and #experts at Osmosis! Huge thanks to @amsOSRAM, @Kalrayinc, Maxlinear, @SandiaLabs, @XilinxInc for sharing #casestudies on meeting #verification goals with #formal. Videos are coming soon—stay tuned!