@OneSpinSolution profile picture
OneSpin: A Siemens Business @OneSpinSolution

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

Joined December 2012
  • Tweets 2,095
  • Following 283
  • Followers 843
609 Photos and videos
#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!
1
2
#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
1
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
OneSpin: A Siemens Business retweeted
Daniel Payne@Daniel_J_Payne
7 Dec 2021
Replying to @OneSpinSolution
@OneSpinSolution gets my best booth award at the #58thDAC
2
5
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!
1
4
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
1
1
6
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
2
2
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
1
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
1
3
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
3
3
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

Complex Chips Make Security More Difficult

Why cyberattacks on the IC supply chain are so hard to prevent.

semiengineering.com
OneSpin: A Siemens Business retweeted
Semiconductor Engineering@SemiEngineering
10 Nov 2021
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/debuggin… #debugging #semiconductor #cybersecurity #verification #software #RISCV

Debugging Embedded Applications

Software and hardware interdependencies complicate debug in embedded designs. New approaches are maturing to help reduce debug time.

semiengineering.com
6
9
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

High-Level Synthesis For RISC-V

Abstraction is the key to custom processor design and verification, but defining the right language and tool flow is a work in progress.

semiengineering.com
3
5
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
1
1
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!
2
2
Load more