Partnership Delivers On-Demand Access to FPGA Development Tools, Compute Resources to Alleviate Workloads, Optimize Design Performance
SINGAPORE –– March XX, 2018 –– Plunify®, a leading design optimization technology provider, today announced immediate availability of the Plunify Cloud client in the Tencent Cloud field programmable gate array (FPGA) Ecosystem for designers.
Plunify Cloud client is an interface to the Xilinx Vivado™ design suite for on-demand development, optimization, testing and deployment of FPGA designs in the cloud. The Tencent FPGA Cloud, a secure, reliable and high-performance cloud compute service provided by Tencent, provides FPGA designers with the tools and infrastructure needed to develop and optimize FPGA applications with design reuse, integration...
Expert Formal Verification Analysis Shared on Various Topics, including ISO 26262 Compliance, the Discovery of Meltdown and Spectre Security Flaws
SAN JOSE, CALIF. –– March 14, 2018 –– Oski Technology, Inc., the established and trusted leader in Formal Verification Methodology expertise, today announced Oski Formal Verification talks at several upcoming events, including Oski’s renowned Decoding Formal Club, Synopsys’s SNUG and Cadence’s CDNLive.
Presentations and discussions by ArterisIP, Cavium, Cisco Systems and a cryptography specialist will address critical verification issues plaguing today’s design and verification teams. Topics include the verification of cache-coherent protocols, ISO 26262 compliance, software-configurable silicon and networking systems, as well as a...
AccelerComm’s Polar Code IP integrated with Achronix Portfolio of FPGA products
Achronix ACE design tools and AccelerComm IP integration targets Speedcore eFPGAs
Santa Clara, Calif., February 27, 2018 – Achronix Semiconductor Corporation, a leader in field programmable gate array (FPGA)-based hardware accelerator devices and embedded FPGA (eFPGA), announced its collaboration with AccelerComm Ltd, a semiconductor intellectual property (IP) company focusing on next-generation wireless communications acceleration. AccelerComm’s patent-pending Polar Code IP has been ported to support the Achronix portfolio of FPGA products, enabling rapid time to market and customization for 5G Enhanced Mobile Broadband (eMBB) utilizing New Radio. AccelerComm IP has been integrated with...
Number of Design Bugs Found Reaches Record High
SAN JOSE, CALIF. –– February 22, 2018 –– Oski Technology, Inc., the established and trusted leader in Formal verification methodology expertise, today announced that its Formal Verification business grew in 2017 to include a deep array of verification application challenges.
The result is in an unprecedented number of design bugs and corner case bugs being identified.
Oski provided expertise on more than 17 different verification projects for processor, GPU, intellectual property (IP), network on chip (NoC), switching, networking and wireless designs. Formal applications of these designs ranged from register transfer logic (RTL) control logic and data transport to architectural formal cache coherency and sequential equivalence...
Users Deploy EC-FPGA Formal Sequential Equivalence Checking into Automotive ASIL D Projects with no Additional Tool Qualification Requirements
MUNICH and SAN JOSE, CALIF. –– February 14, 2018 –– OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), announced immediate availability of its OneSpin 360 EC-FPGA™ Tool Qualification Kit certified by internationally-recognized testing body TÜV SÜD.
The certification states that EC-FPGA meets the most stringent tool qualification criteria set by functional safety standards ISO 26262 (TCL3/ASIL D), IEC 61508 (T2/SIL 3) and EN 50128 (T2/SIL 3).
“OneSpin’s EC-FPGA is the only EDA tool to exhaustively verify highly optimized FPGAs for autonomous vehicles,...
Eliminates Tool Qualification Effort for Users Targeting Functional Safety Standards ISO 26262, IEC 61508, EN 50128
MUNICH and SAN JOSE, CALIF. –– February 14, 2018 –– OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced successful completion of a series of factory inspections and audits of its organization and tool development processes by internationally-recognized testing body TÜV SÜD.
This conformance level enables OneSpin to provide certified formal verification solutions meeting tool qualification requirements set by functional safety standards (ISO 26262, IEC 61508 and EN 50128/SIL 3). As a result, OneSpin's formal tools and solutions can reach the highest safety integrity levels...
Values ESD Alliance’s Technical Initiatives, Networking Events, MSS Reports
REDWOOD CITY, CALIF. –– February 6, 2018 –– Breker Verification Systems, the leading provider of Portable Stimulus, today became a member of the Electronic System Design Alliance (ESD Alliance), an international association of companies providing goods and services throughout the semiconductor design ecosystem.
“We place a high value on the industry promotional work of the ESD Alliance, as well as its technical initiatives, networking events and market tracking services” remarks Adnan Hamid, Breker’s chief executive officer (CEO) and co-founder. “As Breker is established as a significant player with an active role in the electronic system design ecosystem, membership in the Alliance is a natural...
Notes Interoperability, Licensing and Export Committees as Vital Organization Elements
REDWOOD CITY, CALIF. –– January 30, 2018 –– The Electronic System Design Alliance (ESD Alliance), today confirmed AMIQ EDA of Bucharest, Romania, became a member of the growing international association of companies providing goods and services throughout the semiconductor design ecosystem.
AMIQ EDA, a pioneer in integrated development environments (IDEs) for hardware design and verification-specific languages such as SystemVerilog, Verilog, VHDL and e, joins other new ESD Alliance members Breker Verification Systems and Minima Processor.
“We believe that alliances are essential to deliver best-in-class products, especially in the semiconductor industry,” affirms Cristian Amitroaie,...
Responsibilities Range from All Aspects of Marketing to Strategic Programs,
Channel Management, Portable Stimulus Standardization
SAN JOSE, CALIF. –– January 25, 2018 –– Breker Verification Systems, the leading provider of Portable Stimulus, today named Dave Kelf to the newly created role of chief marketing executive.
Kelf, who most recently served as of vice president of worldwide marketing solutions at formal verification provider OneSpin Solutions, is responsible for all aspects of Breker’s marketing activities, strategic programs and channel management. He reports to Adnan Hamid, Breker’s chief executive officer (CEO) and co-founder.
“No other marketing executive in the semiconductor industry has Dave’s unique experience and background that perfectly meshes with our needs...
Ultra Low-Power IP Provider Brings International Perspective, Deep Understanding of Emerging Markets
REDWOOD CITY, CALIF. –– January 23, 2018 –– Minima Processor of Oulu, Finland, provider of near-threshold voltage design solutions that employ dynamic margining and ultra-wide dynamic voltage and frequency scaling (DVFS) to minimize energy consumption in system-on-chip (SoC) designs, today joined the Electronic System Design Alliance (ESD Alliance).
As an international association of companies providing goods and services throughout the semiconductor design ecosystem, the ESD Alliance welcomes Minima Processor and values the contribution it will add. “Minima brings an international perspective to the organization as well as a deep understanding into emerging markets, such...