OneSpin

We had a great time at #DVCon Europe 2020 last week! Look out for more content from the conference including our panel talk with Trust & Security Product Manager John Hallman, which is already available on the OneSpin site. https://bit.ly/3eoi1DV... #dvconeurope #dvcon #IC #supplychain #EU #security #eda #semiEDA #verification #formal #hardware #iso26262 #safetycritical

For #FormalFriday we have a new article on our "Technical Articles" page: "Meeting Critical Automotive Safety Standards: A Case for Automated FMEDA" Nowadays, even economy class cars are chock full of complicated & #safetycritical electronics that require certification. Sergio Marchese, Technical Marketing Manager at OneSpin looks at the case for using automated FMEDA flows to aid in this process. ... Read more: https://bit.ly/35Rl97l #formal #verification #eda #semiEDA #iso26262 #fmeda #automotive #safetycritical

"Using Verification Data More Effectively" is the latest from Editor Ann Steffora Mutschler on Semiconductor Engineering. Here is a snippet of what our Director of Applications Engineering Vladislav Palfy had to say: "The data needs to be compressed as much as possible, giving the user the option to allow the data to be saved on their server."... Read more --> https://bit.ly/3jIsX0a #vtool #eda #semiEDA #verification #data #hardware #formal #debug #simulation #semiconductors

Less than 1 hour remains before our DVCon Europe 2020 OneSpin poster presentation "An Automated Pre-silicon IP Trustworthiness Assessment for Hardware Assurance" The poster is presented in partnership with The Aerospace Corporation & OneSpin Experts Sergio Marchese, John Hallman, Sven Beyer, & David Landoll. https://bit.ly/35V1ZxN... #dvcon #dvconeurope #dvconeurope2020 #dvcon2020 #eda #semiEDA #computing #technology #semiconductors #designverification #formal #hardware #soc #embedded #ip #silicon

1 hour left before our DVCon Europe 2020 Paper: "A Methodology to Verify Functionality, Security, and Trust for RISC-V Cores" by Nicolae Tusinschi & Wei Wei Chen. The paper describes a verification methodology available to both #RISCV core providers and system-on-chip (SoC) teams integrating these cores. https://bit.ly/3oBblHd... #dvcon #dvconeurope #dvconeurope2020 #dvcon2020 #eda #semiEDA #computing #technology #semiconductors #designverification #formal #hardware #soc #embedded

Panel Video: "Assessing the Needs and Solutions For a Secure IC Supply Chain" from DVCon Europe 2020. Watch the full session moderated by Paul Dempsey of the Tech Design Forum & joined by OneSpin Trust & Security Product Manager John Hallman. DVCon Europe 2020 runs until October 28th! Stay tuned for more OneSpin content from the conference including papers, posters, and tutorials. ... https://bit.ly/31HFVVJ #dvcon #dvconeurope #dvconeurope2020 #eda #semieda #design #verification #formal #ic #supplychain #secure #safetycritical

30 minutes remains before our DVCon Europe session with Product Specialist Nicolae Tusinschi, "Beyond Bug Hunting: Verification Coverage from Safety to Certification." Organized by Rob van Blommestein, the tutorial will show how to achieve a meaningful integration of formal and simulation coverage metrics. https://bit.ly/35vb93u... #dvcon #dvconeurope #dvconeurope2020 #eda #semieda #designverification #formal #bugs #security #verification #safetycritical #certification

Electronics World recently reported on our involvement with the Scale4Edge project. Scale4Edge is funded by the German Ministry of Education and Research (BMBF) and is meant to accelerate the development of advanced edge computing processors working on AI & Industrial 4.0 applications. Partners in the project will work with OneSpin to conduct automated functional safety analysis.... https://bit.ly/3owcf7M #ai #eda #semiEDA #industrial #automation #artificialintelligence #electronics #computing #hardware #opensource

Technology Editor Bryon Moyer wonders "Are FPGAs More Secure Than Processors?" in his new article for https://bit.ly/3dPMeLT. OneSpin Solutions Trust & Security Product Manager John Hallman contributed to the article including a discussion on updating FPGAs: "People are doing over-the-air ‘firmware’ updates in the FPGA, where you’re modifying the underlying hardware functions, said Hallman. But updating an FPGA takes more rigor than updating software. Updating FPGAs has b...een seen traditionally as a more robust process. https://bit.ly/34nCpBY #eda #semiEDA #fpga #semiconductors #computing #asic #soc #embedded #design #chipdesign #security

DVCon Europe 2020 kicks off in less than 1 week (Oct 27-28)! OneSpin will be well represented by our team of #ICIntegrity experts including Nicolae Tusinschi, Wei Wei Chen, John Hallman, Sergio Marchese, Sven Beyer, and David Landoll. Visit the DVCon Europe event page for more information on the papers, panels, tutorials, and posters we will be presenting. https://bit.ly/3jdZ9rZ... #DVCon #DVConEurope #eda #semiEDA #design #verification #designverification #ieee #asic #soc #embedded #cpu #fpga

In "System-Level Packaging Tradeoffs," OneSpin Technical Marketing Manager Sergio Marchese suggests that "...if you figure out that there is something wrong, not with a specific chiplet, but with their integration, what’s the cost for a ‘respin?’ Learn more about his perspective in this new article by Ann Steffora Mutschler on Semiconductor Engineering https://bit.ly/2FQFnFC... #eda #soc #semiEDA #semiconductors #packaging #system-level #verilog #VTOOL #pcb #cpu #gpu #computing

OneSpin's own Formal Verification Specialist, Joerg Bormann contributed this article to Semiconductor Engineering titled "Chips Listening to Gibberish." What happens when the rules of well-defined protocols are broken? https://bit.ly/37lDSKI... #chipdesign #eda #semiEDA #ieee #semiconductors #hardware #compute #computing #ipcore #icintegrity #formal #verification #security

Formal is a critical part of companies’ verification methodology and every company will benefit from having the expertise to match. We are pleased to be working with Edaptive Computing to deliver this knowledge utilizing our unique technology." This is a quote from our recent press release announcing the formation of the "OneSpin Formal Verification Certification Program" in partnership with Edaptive Computing, Inc. Students will receive training of formal methods theory, te...chniques and their application to real-world hardware designs. To learn more: https://bit.ly/3lRJ9hd #ICIntegrity #formal #verification #safetycritical #eda #semiEDA #semiconductors #automotive #avionics #aviation #iso26262 #security #computing #hardware #chipdesign