feature article
Subscribe Now

Jasper Releases New Formal Verification Proof Kits For LPDDR1, LPDDR2, And DDR3

MOUNTAIN VIEW, Calif. – Feb. 21, 2010 – Jasper Design Automation, provider of advanced formal technology solutions, today announced the availability of Proof Kits for LPDDR1 and LPDDR2, and DDR3 SDRAM.  These Jasper Proof Kits are sets of properties, written in SystemVerilog, related to standard JEDEC interface protocols.  Each Proof Kit includes a Formal Testplan providing detailed instructions on verifying DDR designs, plus properties for the protocol that the JasperGold® Verification System can prove against designs employing the standard.  LPDDR solutions are experiencing high growth in mobile and embedded markets as demand for the low-power parts surges.

“These new LPDDR and DDR3 Proof Kits both speed verification for these high-demand memories, and ensure conformance with industry standards,” said Lawrence Loh, Jasper Vice President of Worldwide Applications Engineering.  “They join our existing Proof Kits for SDR, DDR and DDR2, and we continue to actively follow and support new standards as they emerge.”

Availability

The new DDR Proof Kits are currently available as a chapter within Jasper Formal Testplanner, and provided at no additional charge to current licensees of Formal Testplanner.

Leave a Reply

More Than 500 North American Companies Switch to Altium

SYDNEY, Feb. 22 /PRNewswire-FirstCall/ — Altium has announced a banner year in “new logo” acquisition. During the past 12 months, the company’s North American operation alone has acquired more than 500 new U.S. customers. All are newcomers to Altium’s electronics design solution Altium Designer.

Altium Designer’s single data model and unified architecture provide a system development platform for FPGA, PCB and embedded software development, in a single application. In addition to the electronics design authoring tools in Altium Designer, this platform architecture also provides intrinsic electronics design data management and IP support courtesy of the unified architecture.

“Electronic product design is at an inflection point where tool-chain approaches are struggling to meet the needs of today’s complex process and data management needs,” said Gerry Gaffney, regional CEO of the Americas for Altium. “Altium’s unified approach to electronics design clearly resonates with these new customers, who come from many market sectors.

“They tell us they can see new ways to grow their businesses in increasingly complex and competitive markets, increase their productivity and lower their costs – and do all this without compromising innovation.”

In December 2009, Altium surveyed these new customers to discover how their design processes had changed.

Productivity had improved markedly: 84 percent of Altium’s new users had experienced improvements of more than 200 percent.

Replacing design tools and environments can seem daunting, yet 85 percent of Altium’s new users found the migration to Altium Designer as expected, or easier than expected.

And the word is spreading: 89 percent of Altium’s new users would recommend Altium to colleagues.

“Nuvation works with virtually all major PCB EDA tool flows,” said Michael Worry, CEO of Nuvation. “We ran a bake-off in 2008 and were quite surprised when Altium Designer jumped out as the superior tool. We’ve since implemented Altium as our primary tool, including the library management system, and are quite impressed with the remarkable productivity improvement we are realizing with the added features and efficiencies.”

Information on Altium Designer is on Altium’s micro-site, web site and the Altium Wiki.

Note to bloggers, journalists, and analysts: Altium is available to present full survey results and customers are open to interviews.

About Altium

Altium Limited provides next generation electronics design software. Altium’s unified electronics design environment links all aspects of electronics product design into one process, in a single application. This helps electronics designers harness the latest devices and technologies, manage their projects across broad design ‘ecosystems’, and create connected, intelligent designs. For more information, visit www.altium.com.

Altium, Altium Designer and LiveDesign, and their respective logos, are trademarks or registered trademarks of Altium Limited, or its subsidiaries. All other registered or unregistered trademarks mentioned in this release are the property of their respective owners, and no trademark rights to the same are claimed. 

Leave a Reply

Freescale’s AUTOSAR Software Developed with Green Hills Software’s MULTI IDE

SANTA BARBARA, CA — February 22, 2010 — Green Hills Software, Inc., the largest independent vendor of embedded software solutions, today announced that Freescale is using Green Hills Software’s MULTI® integrated development environment (IDE) to build AUTOSAR-compliant OS and 32-bit Microcontroller Abstraction Layer (MCAL) Software Packages. AUTOSAR is a growing standard requirement in all automotive body, chassis and safety software applications. The first in-car deployment is expected in 2010.

“Green Hills’ strong market penetration in the automotive sector and its industry-leading compiler performance and small code size, make the MULTI IDE a natural choice for Freescale’s AUTOSAR software development projects,” noted Ray Cornyn, director of Automotive Microcontroller Products at Freescale. “Green Hills’ full solutions provide customers and our team with software development productivity through the MULTI integrated development environment.”

Freescale’s AUTOSAR software for MPC556x, MPC551x and other microcontroller (MCU) families is engineered to conform to the AUTOSAR R2.1 and 3.0/3.1 standards allowing software optimization for specific MCU families and derivatives. Automotive applications for body, chassis, and advanced safety provide for the consolidation of more ECU functionality and communication of other body systems, including Gateway, central tasks in body controllers, and centralization in safety and chassis control applications.

The AUTOSAR-compliant software addresses the need of automotive manufacturers and tier 1 suppliers for standardization that will allow for the re-use of the software in future developments, thereby achieving substantial cost savings.

The Freescale AUTOSAR OS development requires an optimizing compiler to produce fast running code with absolute quality. Freescale uses Green Hills optimizing compilers in a variety of global development activities. In addition, Freescale uses the MULTI IDE – a single integrated software and hardware development toolset to help the Freescale AUTOSAR software project meet development milestones and productivity metrics.

“We are pleased that Freescale has chosen our IDE for the development of its AUTOSAR-compliant software for automotive controllers,” commented David Kleidermacher, chief technology officer of Green Hills Software. “We are happy to again demonstrate our leadership in helping embedded systems designers create totally reliable, maximum performance products in the least amount of time and at the lowest cost.”

With AUTOSAR development sites in Europe, Asia and the U.S., Freescale’s distributed developers are using the MULTI IDE for a global activity.

About Green Hills Optimizing Compilers

Green Hills Software has been the leader in embedded optimizing compiler technology for the last twenty-five years. Using the world’s most advanced compiler technology, Green Hills Software has dominated the EEMBC benchmarks from their introduction in 1999, by implementing the most advanced optimization techniques. Using the Green Hills optimizing compilers included with the MULTI software development environment most programs can be made to run at least 20% faster than if compiled with a “free” GNU compiler. Green Hills optimizing compilers consistently beat all other compilers on the EEMBC benchmarks.

About AUTOSAR

AUTOSAR (AUTomotive Open System ARchitecture) is open and standardized automotive software architecture, jointly developed by automobile manufacturers, suppliers and tool developers. It is intended to pave the way for innovative electronic systems that further improve performance, safety and environmental friendliness.

About Green Hills Software

Founded in 1982, Green Hills Software, Inc. is the largest independent vendor of embedded development solutions. In 2008, the Green Hills INTEGRITY-178B RTOS was the first and only operating system to be certified by the NSA to EAL6+ High Robustness, the highest level of security ever achieved for any software product. Our open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software at www.ghs.com.

Leave a Reply

featured blogs
Apr 24, 2026
A thought experiment in curiosity, confusion, and cosmic consequences....

featured paper

Quickly and accurately identify inter-domain leakage issues in IC designs

Sponsored by Siemens Digital Industries Software

Power domain leakage is a major IC reliability issue, often missed by traditional tools. This white paper describes challenges of identifying leakage, types of false results, and presents Siemens EDA’s Insight Analyzer. The tool proactively finds true leakage paths, filters out false positives, and helps circuit designers quickly fix risks—enabling more robust, reliable chip designs. With detailed, context-aware analysis, designers save time and improve silicon quality.

Click to read more

featured chalk talk

GaN for Humanoid Robots
Sponsored by Mouser Electronics and Infineon
In this episode of Chalk Talk, Eric Persson and Amelia Dalton explore why power is the key driver for efficient and reliable robot movements and how GaN technologies can help motor control solutions be more compact, integrated and efficient. They also investigate the role of field-oriented control in humanoid robotic applications and why the choice of a GaN power transistor can make all the difference in your next humanoid robot project!
Apr 20, 2026
8,186 views