close
By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.
The last time I spoke at length with OneSpin’s Dave Kelf, the conversation was all about the Cloud. This week we picked up where we left off, talking about the Cloud, but then moved on to the Wild West. Dave is quite taken with the idea that the current situation in EDA is on par with the Wild West, that mythical place where a lack of structure and entrenched establishment allows true innovators to run wild free. First however, we caught up with OneSpin and the Cloud.
IP industry veteran Warren Savage talks to OneSpin's CEO Raik Brinkmann about verification today, the impact of Formal-based techniques, and Raik's own background in this area, on the popular UTube Channel, Take5 with Warren.
Safety and security have become a paramount concern in a number of embedded design applications. Engineering segments such as automotive, defense, aeronautical and power generation require failsafe components that cannot be disrupted through accidental or malicious action, and often must demonstrate adherence to govern- ment or industry standards.
Others see the need for languages that span multiple levels of abstraction. Today, SystemC is heavily used for the development of blocks that process specific algorithms, says David Kelf, vice president of marketing for OneSpin Solutions. Transaction-level models of the algorithmic processing components in a chip are modeled using C, with a SystemC wrapper. These are verified and then synthesized into Verilog.
The escalating cost, time, and risk associated with custom integrated circuit (IC) fabrication has driven increased field programmable gate array (FPGA) usage across electronics applications. FPGAs are larger, faster, and more power-efficient than ever, and bring a number of capabilities unavailable in custom silicon design, such as field updates, multi-function devices, and simplified prototyping, making them an attractive option.
The ISO 26262 safety standard lays out a number of best practices for the automotive industry and for suppliers. Formal verification provides a way of streamlining the verification of SoCs that need to conform to the standard...