Search results for "Synopsys"
Bought a new car recently? It could have a security flaw!
Researchers havediscovereda security flaw that could potentially (and probably does) affect all new vehicles. It allows an attacker to turn off safety features, such as airbags, ABS brakes, and power-steering - or any of a vehicle's computerised components connected to its controller area network or CAN bus.
Fuzzing report highlights vulnerabilities of IoT software
Software company Synopsys has released its fuzzing report, which provides deep analysis on potential zero-day exploits in the open source protocols and common file formats used across six key industries, including automotive, financial services, government, healthcare, industrial control systems, and IoT. The results stem from more than 4.8 billion fuzz tests conducted by Synopsys’ customers in 2016 using the Defensics Fuzz Testing solution...
IP solution offers 300GB/s bandwidth for graphics SoCs
Provider of high-quality, silicon-proven IP solutions for SoC designs,Synopsys, has introduced its complete DesignWare High Bandwidth Memory 2 (HBM2) IP solution consisting of controller, PHY and verification IP, enabling designers to achieve up to 307GB/s aggregate bandwidth, which is 12 times the bandwidth of a DDR4 interface operating at 3,200Mb/s data rate.In addition, the DesignWare HBM2 IP solution delivers approximately ten times better en...
Prototyping system chosen for next-gen SoCs
It has been announced by Synopsys that MediaTek, a fabless semiconductor company, has adopted Synopsys' HAPS-80 prototyping system, part of the Verification Continuum Platform, for their broad portfolio of next-gen system-on-chips (SoCs). Verification Continuum is built from Synopsys' verification technologies providing virtual prototyping, static and formal verification, simulation, verification IP, emulation, prototyping and debug.
Devil's Ivy vulnerability poisoning millions of IoT devices
Recent news reports have revealed that millions of products ranging from airport surveillance cameras, sensors, networking equipment and IoT devices are vulnerable to a flaw that allows attackers to remotely gain control over devices or crash them. The vulnerability, named Devil’s Ivy, was identified by researchers who singled out high-end security cameras manufactured by Axis Communications. The researchers at Senrio said that 249 models o...
Evaluation kit is based on a 300K logic element FPGA
The PolarFire Evaluation Kit from Microsemi, which allows designers to evaluate the PolarFire FPGA product family is now being shipped by distributor Mouser Electronics. The flash-based PolarFire field programmable gate arrays (FPGAs) deliver 100K to 500K logic elements at up to 50% lower power consumption than equivalent SRAM-based FPGAs.
Toshiba selects Synopsys' VC Formal as SVA-based formal verification solution
Toshiba has deployedSynopsys' VC Formalsolution as its SystemVerilog Assertion (SVA) based formal verification solution. VC Formal delivers the performance and capacity necessary to achieve faster formal convergence on Toshiba's increasingly complex designs. Toshiba leveraged VC Formal's native integration with Synopsys' industry-leading VCSfunctional verification solution and Verdidebug platform to achieve faster coverage closure, more effective...
Partnership accelerates robust design optimisation
Customers will be able to accelerate the next-gen of high-performance computing, mobile and automotive products thanks to a new partnership between ANSYSand Synopsys that will tightly integrate ANSYS' power integrity and reliability signoff technologies with Synopsys' physical implementation solution for in-design usage. Developers of innovative, cost-effective and reliable smart products need to quickly optimise, validate and signoff their desig...
Synopsys VC Formal standardised for faster verification
Synopsys has announced that as their formal verification solution for advanced microcontroller designs,STMicroelectronics selected and standardised on Synopsys VC Formal.
Synopsys VC Formal selected for property verification
Synopsys has announced that Kyocera has selected Synopsys' VC Formal solution for high-performance formal property verification of their Multi-Functional Product (MFP) designs. Kyocera used VC Formal's next-generation high-performance formal engines and heuristic performance algorithms to achieve faster formal property verification.