Jasper Design Automation Announces JasperGold Verification System v4.5
Jasper Design Automation, the leader in successful deployment of production proven formal verification solutions, announced JasperGold® Verification System v4.5, a new release of the company’s flagship formal verification solution that delivers support for liveness properties, enhanced engine performance and support for properties containing multiple clocks — a new functionality important for modeling the industry’s most sophisticated properties. In release 4.5, JasperGold also includes improved initialization performance for easier formal analysis and automatic property grouping for faster proofs.
Allot Selects RMI’s Multi-core Multi-threaded XLR Processor
Raza Microelectronics®, Inc. (RMI), a leading supplier of processors for communications and consumer applications, and Allot Communications (NASDAQ:ALLT), a leader in IP service optimization solutions based on deep packet inspection (DPI), announced that Allot has selected RMI’s multi-core multi-threaded XLR Processor(TM) for the Allot Service Gateway.
Jasper Design Automation Releases GamePlan Verification Planner v1.2
Further enhancing its free solution that addresses one of the key problems facing verification teams, Jasper Design Automation announced availability of GamePlan(TM) Verification Planner version 1.2, a powerful tool for generating and tracking verification plans. In version 1.2, GamePlan now includes the ability to import verification results. After an easy set-up that takes no more than a couple of hours, verification teams can begin reading verification results back into their test plan to efficiently track their verification progress. In addition, GamePlan also delivers improved search capabilities, active hyperlinks in analysis views for easy organization, and a new Undo/Redo feature for improved usability.
Renesas Samples SH-Mobile G3 System LSI
Renesas Technology Corp. announced that it has begun shipping the SH-Mobile G3, a high-speed, high-performance system LSI, which was jointly developed with NTT DoCoMo, Inc., Fujitsu Limited, Mitsubishi Electric Corporation, Sharp Corporation, and Sony Ericsson Mobile Communications for 3G mobile phones. Shipments of evaluation samples to these handset manufacturers started in October 2007. Powered by the G3 system LSI, the jointly developed 3G mobile phone platform1 is targeted for completion in Q3 CY2008.
The MathWorks Rolls Out Bioinformatics Toolbox 3.0 for MATLAB
The MathWorks announced a new version of Bioinformatics Toolbox for MATLAB®, which enables computational biologists and research scientists to more effectively explore ideas, prototype new algorithms, and build applications for drug research, genetic engineering, and other genomics and proteomics projects. Among the many new features of Bioinformatics Toolbox 3.0 are new capabilities to improve analysis and visualization of microarray and mass spectrometry data to help accelerate the research and discovery process.
Summit Microelectronics Debuts SMB137 Programmable Battery Charger IC
Summit Microelectronics expands its family of Programmable Battery Charger integrated circuits (ICs) with the introduction of the SMB137. Specifically designed for feature-packed mobile consumer electronics, the SMB137 delivers unprecedented levels of functionality and flexibility while solving the most challenging power and battery management problems. Dual (USB or AC/DC) inputs and outputs (System or Battery) with CurrentPath(TM) automatic arbitration allow system operation with any input source, any battery charge state or even missing battery. Proprietary TurboCharge(TM) technology yields dramatic reductions in charge time, power dissipation and solution size compared to conventional charger solutions. The ultra-small solution size, combined with Micro-USB data/power support, enables ultra-thin devices with the convenience of USB battery charging.
Sequence Design Cool Products Accelerate Design Closure for S3 Graphics
S3 Graphics, a subsidiary of Via Technologies, chose Sequence Design’s CoolProducts for accelerated design closure, achieving 1GHz performance in a single pass, when implementing their next-generation 3D graphics chips. S3 Graphics is a leading supplier in the 3D enabled PC graphics market, delivering a wide range of features and performance to serve the graphics and multimedia needs of both the home and business markets.
PrismTech Hosts Data Distribution Service (DDS) Webinars
PrismTech(TM), a leader in high-performance middleware and development tools, announced a series of free Data Distribution Service (DDS) webinars through to the end of the year. The webinars will promote DDS middleware technologies and their expanding applicability for data-centric distributed systems in today’s SOA and net-centric applications, share industry best practices and key references, and highlight PrismTech’s OpenSplice(TM) DDS product capabilities: delivering the right information at the right place, at the right-time – all the time.
ArcSoft Digital Theatre Supports Intel Clear Video Technology
ArcSoft, Inc. announced that ArcSoft Digital Theatre(TM) now implements support for Intel® Clear Video Technology. Digital Theatre is a breakthrough software application for video playback, including Blu-ray, HD DVD, and AVCHD. Intel® Clear Video Technology is a combination of video processing hardware and software technologies that delivers enhanced high-definition video playback, sharper images, precise color control, and advanced support for a wide range of digital displays. The technology is available on platforms using the Intel® G965, GM965, G33, and G35 Express Chipsets.
Raza Microelectronics Expands RMI Partner Alliance
Raza Microelectronics®, Inc. (RMI®), a worldwide leader in advanced semiconductor solutions for Communications, Networking and Consumer Applications, announced its RMI Partner Alliance (RPA) has extended to include Altera Corporation, Vitesse Semiconductor, and Octera Corporation. Headlined by more than 35 companies, the RPA gives RMI the most comprehensive partner eco-system in the industry. Partner companies include a broad range of Original Design Manufacturers (ODMs), Value-add Component vendors, Software Development groups and Codec developers, among others.
Automotive Opportunities Grow for Discrete Power Semiconductors
Discrete power semiconductors and microcontrollers will find significant opportunities in automotives as hybrid and electric vehicles gain popularity. End-user market expansion, increased automobile multiplexing, and wider application of vehicle integrated circuits (ICs) will likely sustain this growth.
LatticeXP2 FPGAs Power Helion’s IONOS-series Camera Modules
Lattice Semiconductor (NASDAQ: LSCC) announced that Helion GmbH, Duisburg, Germany, a leading developer of OEM CMOS cameras, OEM CMOS camera modules and CMOS sensor support chips, has selected the LatticeXP2(TM) family of non-volatile FPGAs in the design of its next generation of camera modules. Helion already uses LatticeXP(TM) and MachXO(TM) non-volatile devices in its existing NanoVesta series of camera modules to perform image data parameterization, image data processing and overlay functions.