Logo
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. onespin.com Munich, Germany Joined December 2012
  • Tweets
    2K
  • Followers
    840
  • Following
    283
  • Likes
    508
OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

#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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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_J_Payne Profile Picture

Daniel Payne @Daniel_J_Payne

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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!

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpin: A Siemens Business retweeted
SemiEngineering Profile Picture

Semiconductor Engineering @SemiEngineering

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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

OneSpinSolution Profile Picture

OneSpin: A Siemens Business @OneSpinSolution

5 years ago

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!

Trends for United States

Tim Curry
Clue
Home Alone 2
First Dolly
Rocky Horror
Nepal
Pennywise
Xbox
National Dog Day
Muppet Treasure Island
Meta
Dr. Frank
Nigel Thornberry
Cher
Grim Reaper
RHPS
Mathurin
Lost Yo Mind
Freddy
Lucia

You might like

DAC, The Chips to Systems Conference is the global event for the design and design automation of electronic circuits and systems. #DAC2026
DAC, The Chips to Sys...
@DACconference
3K Followers
Design and Verification Conference & Exhibition Europe, Sponsored by Accellera Systems Initiative.
DVCon Europe
@DVConEurope
856 Followers
The premier conference for functional design and verification of today's semiconductor integrated circuits.
DVCon U.S.
@dvcon_us
2K Followers
The SoC Verification Company: Providing Test Suite Synthesis By Leveraging Portable Stimulus. Get Started With Your Verification GPS.
Breker Systems
@BrekerSystems
979 Followers
Global training solutions for engineers creating the world's electronics
Doulos
@DoulosTraining
1K Followers
Marketing consultant for hire on EDA projects https://t.co/dbuxAO0ALz. Blogger https://t.co/Tbr8pHBP9e. Christian, father, husband, classic music, road cyclist.
Daniel Payne
@Daniel_J_Payne
2K Followers
Design Verification Club for Circuit Designers
DVClub
@dvclub
1K Followers
Director of Strategic Business Development for functional verification products at Siemens EDA. Help manage & develop EDA standards, and cultivate ecosystems.
Dennis Brophy
@dennisbrophy
2K Followers
Director of Marketing, Semiconductor & Electronics Business Unit, Ansys
richgoldman
@richgoldman
871 Followers