Fabless
IBM says
that having design tools available in this way means engineers will no
longer need to purchase, house or maintain the latest computer systems and
software for chip design and formal verification. They can simply access
these capabilities from IBM as a service.
The service combines immediate access to some of the world's foremost
verification expertise, a secure collaborative infrastructure and a variable
per user/per month license structure that can be added to on demand to
accommodate fluctuating hardware and software needs.
Students at the Technion Israel Institute of Technology VLSI (very large
system integration) design lab are already using the service hosted in New
Jersey, USA. This allows the students to access tools that help with the
design of the chip and formal verification - the process of mathematically
proving that every circuit in the chip works according to specification.
IBM's formal verification tools have not previously been accessible as a
service to other companies in this way. Use of the industry-standard PSL
language for requirements specification, based on IBM's Sugar 2.0 language
eased the process of making these tools publicly available. PSL has been
recently selected as an industry standard by the Accellera EDA standards
organisation. Engineers will be able to collaborate using a web browser on a
Unix, Linux or Windows platform. Using web conferencing, they can
instantaneously design with other users to debug and fix design problems in
real time. All communications between the client and server are completely
secure and offer a robust high performance mechanism to protect sessions
from network instability.
Elixent, a reconfigurable semiconductor IP company, has been awarded four US
patents pertaining to its reconfigurable algorithm processing architecture,
D-Fabrix.
The newly issued patents cover the integration of multipliers in
programmable arrays, reconfigurable processor devices, field programmable
processor arrays and a method and apparatus for providing instruction
streams to processor devices.
Elixent's D-Fabrix RAP platform provides low power reprogrammable solutions
for implementing algorithm processing in SOC devices.

AngelTech Live III: Join us on 12 April 2021!
AngelTech Live III will be broadcast on 12 April 2021, 10am BST, rebroadcast on 14 April (10am CTT) and 16 April (10am PST) and will feature online versions of the market-leading physical events: CS International and PIC International PLUS a brand new Silicon Semiconductor International Track!
Thanks to the great diversity of the semiconductor industry, we are always chasing new markets and developing a range of exciting technologies.
2021 is no different. Over the last few months interest in deep-UV LEDs has rocketed, due to its capability to disinfect and sanitise areas and combat Covid-19. We shall consider a roadmap for this device, along with technologies for boosting its output.
We shall also look at microLEDs, a display with many wonderful attributes, identifying processes for handling the mass transfer of tiny emitters that hold the key to commercialisation of this technology.
We shall also discuss electrification of transportation, underpinned by wide bandgap power electronics and supported by blue lasers that are ideal for processing copper.
Additional areas we will cover include the development of GaN ICs, to improve the reach of power electronics; the great strides that have been made with gallium oxide; and a look at new materials, such as cubic GaN and AlScN.
Having attracted 1500 delegates over the last 2 online summits, the 3rd event promises to be even bigger and better – with 3 interactive sessions over 1 day and will once again prove to be a key event across the semiconductor and photonic integrated circuits calendar.
So make sure you sign up today and discover the latest cutting edge developments across the compound semiconductor and integrated photonics value chain.
REGISTER FOR FREE
VIEW SESSIONS