OneSpin Solutions
OneSpin Solutions developed formal verification software for ICs, including FPGA equivalence checking, before joining Siemens in 2021.
Company website: eda.sw.siemens.comResults
OneSpin’s announcement lists tools for FPGA synthesis and place-and-route functional verification; this is a historical product record.
Source: globenewswire.comChecked
Materials and products
Materials: 1
- MaterialOneSpin FPGA verification product demonstrations
The company’s 2018 announcement describes FPGA implementation and equivalence-checking tools demonstrated at engineering conferences.
Source: globenewswire.comChecked
Verified activity
OneSpin Solutions developed formal verification software for ICs, including FPGA equivalence checking.
Source: globenewswire.comChecked