feature article archive
Subscribe Now

Jasper Presenting “New Technologies In Formal Verification” at SAME 2010 Forum October 7

MOUNTAIN VIEW, Calif. – July 28, 2010

WHAT: Jasper Design Automation will present a paper “New Technologies in Formal Verification for Increased Design and Verification Productivity” at the upcoming SAME (Sophia Antipolis Forum on MicroElectronics – www.same-conference.org). The SAME 2010 Forum, Oct. 6-7, 2010 is an annual exhibition and technical conference attended by leading European and international microelectronics firms and suppliers, and their customers.

WHEN:  Thursday, October 7, 12:30pm-2:00pm, “Lunch & Learn” … Read More → "Jasper Presenting “New Technologies In Formal Verification” at SAME 2010 Forum October 7"

Gresham offer CompactPCI Power Supplies on Short Lead Times

July 2010 – Gresham Power Electronics, the Salisbury based MIL and Commercial power conversion specialist is able to offer some models of its market leading, high efficiency 3U, 250W CompactPCI power supply range on very short lead times.

With worldwide universal AC input, Active Power Factor Correction and better than 81% efficiency at 230VAC input, system designers will appreciate it’s space saving dimensions of just 3U high by 8HP wide and 220mm depth.

Gresham’s 250W cPCI power supply fully conforms to the accepted Compact PCI … Read More → "Gresham offer CompactPCI Power Supplies on Short Lead Times"

Wolfson announces ultra low power audio hub solution for portable digital audio applications

Edinburgh, UK, July 29 2010 – Wolfson Microelectronics plc today announced the introduction of its industry-leading ultra low power stereo audio hub.  The WM8962 is designed to deliver crystal clear audio to portable digital applications, such as e-Book readers, tablets, multimedia mobile phones, games consoles and digital still cameras and camcorders.

Read More → "Wolfson announces ultra low power audio hub solution for portable digital audio applications"

ADLINK Technology Introduces Full-size PICMG® 1.3 SHB Supporting Intel® Core™ i7/i5/i3 Processors and Q57 Express Chipset

July 29, 2010, San Jose, Calif – ADLINK Technology, Inc. announced the NuPRO-E330, the latest PICMG® 1.3 full-sized System Host Board (SHB) in their product lineup. The NuPRO-E330 supports next generation Intel® Core™ i7/i5/i3 processors at clocks speeds up to 3.33 GHz and dual-channel DDR3 1066/1333 MHz memory up to a maximum of 8GB in two DIMM slots. Equipped with the Intel® Q57 Express Chipset to provide industry-leading I/O technologies and higher data transfer rates, the NuPRO-E330 is an ideal solution for applications requiring high-performance computing, data security and … Read More → "ADLINK Technology Introduces Full-size PICMG® 1.3 SHB Supporting Intel® Core™ i7/i5/i3 Processors and Q57 Express Chipset"

LPI Launches Enterprise-level “Virtualization” Exam

(Sacramento, USA, July 29, 2010) The Linux Professional Institute (LPI), the world’s premier Linux certification organization (http://www.lpi.org), launched the “Virtualization and High Availability” exam elective for their LPIC-3 certification program. The LPI-304 exam is the third available elective for LPI’s enterprise-level LPIC-3 certification program for Linux professionals. Due to demand for this exam LPI will be hosting two special exam labs in August for this new release: FrOSCon 5 (Sankt Augustin, Germany: Read More → "LPI Launches Enterprise-level “Virtualization” Exam"

Jasper DFI Formal Verification Proof Kits Now Available

MOUNTAIN VIEW, Calif. – July 27, 2010 – Jasper Design Automation, provider of advanced formal technology solutions, today announced the availability of Proof Kits for the DFI (DDR-PHY) specification, an interface protocol between memory controller logic and PHY interfaces that reduces integration costs while enabling performance and data throughput efficiency.  Jasper high-performance, high-capacity formal verification provides the most complete solution for dealing with the complex protocols and timing parameters specified by DFI.

Jasper’s DFI Proof Kits are sets of properties, written in SystemVerilog, for verification of standard interface … Read More → "Jasper DFI Formal Verification Proof Kits Now Available"

Virage Logic Continues to Broaden Semiconductor IP Offering with New Portfolio of SoC Infrastructure Solutions

TAIPEI, Taiwan, Jul 27, 2010 — SOC SUMMIT — Virage Logic Corporation (NASDAQ:VIRL), the semiconductor industry’s trusted IP partner, today announced the further broadening of its already extensive System-on-Chip (SoC) infrastructure IP portfolio with its new Integraproduct line. Based on the proven technology that Read More → "Virage Logic Continues to Broaden Semiconductor IP Offering with New Portfolio of SoC Infrastructure Solutions"

Virage Logic’s New ARC® Sound AS221BD Dual-Core Processor Targets Blu-ray Audio

TAIPEI, Taiwan, Jul 27, 2010 — SOC SUMMIT — Virage Logic Corporation (NASDAQ:VIRL), the semiconductor industry’s trusted IP partner, today announced the new ARC Sound AS221BD dual-core processor for High Definition (HD) Audio System-on-Chips (SoCs) targeting Blu-ray Disc 7.1 channel 192kHz/24-bit output HD Audio processing applications. This new product extends … Read More → "Virage Logic’s New ARC® Sound AS221BD Dual-Core Processor Targets Blu-ray Audio"

Virage Logic Expands Semiconductor IP Portfolio with Silicon-Proven SiANA™ Analog IP Offering

Virage Logic Corporation (NASDAQ:VIRL), the semiconductor industry’s trusted IP partner, today announced the expansion of its broad semiconductor IP product portfolio with the introduction of SiANA, a new offering of silicon-proven analog IP components essential for building multimedia consumer electronics devices. Comprising of clock sources, data converters, and sensor circuits, the product-proven, area … Read More → "Virage Logic Expands Semiconductor IP Portfolio with Silicon-Proven SiANA™ Analog IP Offering"

featured blogs
May 6, 2026
Hollywood has struck gold with The Lord of the Rings and Dune'”so which sci-fi and fantasy books should filmmakers tackle next?...