EDA TechChannel

OneSpin’s Formal Verification Verifies Solutions to Einstein’s Riddle

2017-07-27T15:07:14Z

Winning Entry from Nokia’s Wolfgang Roessel, Runners Up from Infineon, ARM

OneSpin Solutions Showcases Innovative Formal Verification Solutions at DAC

2017-06-13T15:04:37Z

DAC Program Features OneSpin Experts, including Raik Brinkmann on AI, Neural Networks Panel Moderated by Jim Hogan

Verific Acquires INVIO Platform from Invionics Software

2017-06-12T16:52:03Z

Rapid Application Development Platform will be added to Verific’s Parser Platform

MEDIA ALERT: Oski Technology DAC Demonstrations to Showcase New VIP Library for AMBA Interface Protocols, Oski Formal Sign-Off

2017-06-08T15:33:20Z

"New Frontiers in Formal Verification" Design/EDA Track Session Will Include Oski, ArterisIP Presentation "Architectural Formal Verification of Cache Coherent Protocols"

Baum Reveals Plans to Fully Optimize Energy Efficiency in Semiconductor Designs

2017-06-07T15:16:07Z

Will Exhibit in Verific’s DAC Booth, Setting the Stage for Launch of High-Speed, Accurate Power Analysis and Modeling Solutions

Uniquify’s LPDDR4 Super Combo Interface IP in Volume Production at 28nm Low-power Node

2017-06-07T14:25:16Z

IP Guru Will Answer DDR Questions at DAC Booth; Uniquify "Stars of IP" Sponsor

ESD Alliance Celebrates Summer Solstice with Exhibits at GSA Silicon Summit, DAC

2017-06-06T17:54:45Z

Longtime DAC Sponsor Hosts Variety of Events Again This Year

OneSpin Solutions Journeys to the U.K., Silicon Valley, China and Taiwan in April for Verification Futures, CDNLive, DVCon China, Accellera Taiwan Forum

2017-03-30T12:40:53Z

Will Demonstrate Four Comprehensive Design Verification Solutions at Each

Verification Perspectives Podcast Hosted by Lauro Rizzatti Begins Airing

2017-03-29T20:25:26Z

Series Starts with Interviews of Mike Bartley from TV&S, the ESD Alliance’s Bob Smith, Dave Kelf of OneSpin Solutions, Mentor Graphics’ Jean-Marie Brunet

EasyEDA: The Cloud based Circuit and PCB design Software

2017-02-24T09:51:48Z

EasyEDA is a free, zero-install, Web and Cloud-based EDA tool suite, integrating powerful schematic capture, mixed-mode circuit simulator and PCB layout in a seamless cross-platform browser environment, for electronic engineers, educators, students and hobbyists.

Analog/RF Chip Design Expert Helic Joins ESD Alliance

2017-02-23T16:04:05Z

Notes Value in Being Part of Organization that Promotes System Design Ecosystem, Fosters Networking

ESD Alliance, OneSpin Solutions Showcase Verification Leaders at DVCon Evening Panel "Ride with the Verify Seven"

2017-02-16T22:38:07Z

Moderated By Jim Hogan, Noted Executives from Avery, Breker, Montana, OneSpin, Real Intent, Verific Will Offer Advice on How to Make it in EDA

MEDIA ALERT: ESD Alliance to Host Bob Smith, Lucio Lanza, Dan Rubin in Conversation During REUSE 2016

2016-11-22T16:27:32Z

Conversation Will Explore Why IoT Offers Growth Opportunity for Global IP Business; ESD Alliance to Exhibit, Showcasing Programs, New Initiatives, Growing Membership

MEMSIC launches compact high performance 3 axis magnetic sensor

2016-03-24T13:01:54Z

The new MMC3630KJ AMR technology magnetometer is currently the world’s highest performance device of its class – it is targeted to wearable and mobile device markets worldwide. With an ultra-small (1.2×1.2×0.5mm) BGA package, the MMC3630KJ is a breakthrough design in AMR technology with the ability to reach ±30G range, and more than 5x better noise level compared to other technologies. With 600Hz magnetic sensing bandwidth, the MMC3630KJ is able to provide better than plus/minus 1 per cent accuracy in eCompass applications. The design also has drastically lower system level power consumption and processing time.

Dialog Semiconductor Releases the Lowest Power 12 Degrees-of-Freedom Bluetooth(r) Smart Sensor Development Platform

2016-03-23T20:46:37Z

Targeting IoT and Virtual Reality (VR) applications, development time cut dramatically by combining Dialog’s highly integrated DA14583 Bluetooth(r) Smart System-on-Chip (SoC) and SmartFusion(tm) sensor library

Test and Verification Solutions (T&VS) opens its First Business office in Japan and Third in APAC Region.

2016-03-23T20:47:05Z

Kanagawa, Japan, 4 March 2016-Test and Verification Solutions(T&VS), a leader in software test and hardware verification solutions, today announced that it is opening a new office in Kanagawa, Japan.Underscoring a long-term commitment to service its local customers and partners, T&VS provides near shore presence inquality legal representation and dedicated to maintaining & expanding its capabilities / expertise across a wide range of practice areas to address the diverse needs of its clients.

EDA Consortium Invites Design Ecosystem Community to Launch Party

2016-03-03T19:36:48Z

Will Unveil New Name, Logo, Expanded Mission

MEDIA ALERT: OneSpin Solutions to Demonstrate Formal Verification-Based Solutions at DVCon 2016

2016-02-18T16:15:07Z

Redefining ESL Panel Includes OneSpin CEO Dr. Raik Brinkmann

MEDIA ALERT: Decoding Formal Club Hosted by Oski Technology Will Feature Panel of Formal Verification Experts, CheckMate Session, Formal Coverage Presentation

2016-02-18T16:13:32Z

Formal Verification Enthusiasts Encouraged to Attend Meeting at Parcel 104 in Santa Clara, Calif., February 29 to Share Ideas, Advance Formal Adoption

Moortec Announces New PVT Controller – Complete PVT Sub-System Solution

2016-01-07T16:18:38Z

Moortec Semiconductor Limited, provider of embedded die monitoring IP solutions for advanced nodes, announces its new PVT Controller. The PVT Controller provides a single standard interface to Moortec’s embedded Process, Voltage and Temperature (PVT) sensing Sub-System used to increase System on Chip performance and reliability.

DVCon U.S. Technical Program Available Online; Registration Open

2015-12-14T21:22:49Z

DVCon U.S. 2016 announces that registration is open and the technical program is now available

OneSpin Solutions, Ulisys Technologies to Exhibit at SemIsrael 2015, Demonstrating OneSpin’s Full Range of Formal Verification-Based Solutions

2015-11-10T16:05:48Z

Will Highlight Latest Safety Critical, SystemC, Metric Driven Formal Verification Solutions, Observation Coverage

Boost Valley Named OneSpin Solutions Spinnaker Certified Service Partner

2015-11-10T15:07:36Z

Close Collaboration Focused Around Specialized Formal IP Practice

Verific Design Automation’s Parser Platform Integrated With Tortuga Logic’s Hardware Security Design and Analysis Toolkit

2015-10-20T15:02:03Z

Thoroughly Tested Parsers Let Tortuga Logic Focus on Software to Identify Security Vulnerabilities in Hardware Designs

MEDIA ALERT: OneSpin Solutions to Sponsor International Conference on Mastering Functional Safety

2015-09-15T16:24:59Z

Dr. Raik Brinkmann to Present "Exceeding ISO 26262 Verification Requirements With Formal Technology"