OneSpin: A Siemens Business

Certified IC integrity verification solutions for functionally correct, safe, secure, and trusted integrated circuits. OneSpin is part of Siemens EDA.

[OneSpin: A Siemens Business @OneSpinSolution]

#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!

[OneSpin: A Siemens Business @OneSpinSolution]

#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

[OneSpin: A Siemens Business @OneSpinSolution]

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:
https://t.co/zHB7ejI7sQ

[OneSpin: A Siemens Business @OneSpinSolution]

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!

https://t.co/r3dPe1FwyU

[Daniel Payne @Daniel_J_Payne]

@OneSpinSolution gets my best booth award at the #58thDAC

[OneSpin: A Siemens Business @OneSpinSolution]

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!

[OneSpin: A Siemens Business @OneSpinSolution]

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

[OneSpin: A Siemens Business @OneSpinSolution]

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

[OneSpin: A Siemens Business @OneSpinSolution]

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

[OneSpin: A Siemens Business @OneSpinSolution]

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

[OneSpin: A Siemens Business @OneSpinSolution]

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"

https://t.co/rzZaR0ZkOA

[OneSpin: A Siemens Business @OneSpinSolution]

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"

https://t.co/toBLefRYlD

Event details: https://t.co/LqRoeFakOF

[OneSpin: A Siemens Business @OneSpinSolution]

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!

https://t.co/AvoE8MKjBe

[OneSpin: A Siemens Business @OneSpinSolution]

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: https://t.co/FFuqPBzhzq

#RISC_V RISCV

[OneSpin: A Siemens Business @OneSpinSolution]

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

https://t.co/cb7gbAo0tk

[OneSpin: A Siemens Business @OneSpinSolution]

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. https://t.co/mQaJ2Q2yZ8

[Semiconductor Engineering @SemiEngineering]

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 https://t.co/Am8myJSkYu
#debugging #semiconductor #cybersecurity #verification #software #RISCV

[OneSpin: A Siemens Business @OneSpinSolution]

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

https://t.co/fCsftcDjTq

[OneSpin: A Siemens Business @OneSpinSolution]

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: https://t.co/uHaNRJeB7j

#RISC_V @risc_v

[OneSpin: A Siemens Business @OneSpinSolution]

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!