VMM Standard Library Enables Adoption of Techniques in the ARM-Synopsys
Verification Methodology Manual (VMM) for SystemVerilog

MOUNTAIN VIEW, Calif.
The library enables users to adopt the advanced verification techniques and
methodology advocated in the book more quickly and easily. SystemVerilog
Catalyst Program members can provide compiled, object -code versions of the
library to their customers. Ltd.com

Sarah Seifert
Edelman
+1-650-968-4033
sarah.html

About PathScale
Based in Mountain View , California, PathScale develops innovative software
and hardware technologies that substantially increase the performance and
efficiency of Linux clusters, the next significant wave in high-end computing.

procedural basic

Ltd.pathscale.

computers programming

It includes
Fortran and C/C++ compilers from PathScale and Absoft, plus debuggers, math
libraries and other supporting tools.com/ppr_042605.com/ppr_042605.

modula languages

Complete HPC Software Developer's Kit for AMD Opteron(TM) Processor-Based Linux Clusters Announced by PathScale and Absoft

Media contact:
Kurt Barnhart
MediaBridge Public Relations
650 -618-1544
kbarnhart@mbipr.

source collection

The VMM Standard
Library is specified in the ARM-Synopsys book Verification Methodology Manual
for SystemVerilog, announced by Springer Science + Business Media , Inc.
SystemVerilog Catalyst Program members may also license the VMM Standard
Library source code at no additional cost to facilitate compatible methodology
support for their EDA tools, verification IP and services.

About Synopsys
Synopsys, Inc.
+1-650-584-1902
renae@synopsys ., PathScale, developer of
the PathScale EKOPath(TM) Compiler Suite, is teaming with Absoft Corporation
on Absoft's new High Performance Computing Software Development Kit (HPC SDK)
optimized for clusters based on AMD's (NYSE: AMD) 32- and 64-bit AMD
Opteron(TM) processors running Linux.

modula input

For more details, visit http://www.html
"This collaboration between PathScale and Absoft will benefit the
increasing number of 64-bit Linux application developers who deploy AMD
Opteron processor -based systems," stated Pat Patla, director,
server/workstation marketing, Microprocessor Solutions Sector, AMD.

mostly modula

"Making source-code to Synopsys' implementation of the VMM Standard
Library available is a big step toward driving wide adoption of
SystemVerilog," said Michael Garcia, design and verification methodology
manager at Freescale Semiconductor. VMM
Standard Library source code, which can be used with EDA tools compliant with
IEEE P1800 SystemVerilog, is planned to be available for license at no
additional charge by VCS users and SystemVerilog Catalyst members before the
end of the year. Visit Synopsys online at
http://www.synopsys.
"ARM" is used to represent ARM Holdings plc; its operating company ARM
Limited; and the regional subsidiaries ARM INC.html
More information on the PathScale EKOPath Compiler Suite is available at
http://www.

modula gnu

Synopsys also provides
intellectual property and design services to simplify the design process and
accelerate time-to-market for its customers. PathScale and Absoft have been instrumental
in helping developers take full advantage of the AMD64 platform.

2 points

PathScale products will also be enabled with Absoft's Common License Manager
(CLM), allowing PathScale software to be sold for multiple-user Floating
Network Licenses, popular in laboratories and environments with shared
computing resources.

About Absoft Corporation
Celebrating 25 years of leadership in software solutions, Absoft
Corporation (Rochester Hills , Michigan) is a recognized leader in creation of
software development tools. Absoft introduced the first commercial 32-bit
Fortran compilers for Macintosh, Windows-NT, Linux and High Performance
Computing (HPC) environments, and leads the industry with the recently
announced HPC Software Developers' Kit .

code procedural

, Synopsys, Inc. today.pathscale.pathscale. "The
combination of quality development tools and the Direct Connect Architecture
of the AMD Opteron processor family can only help extend AMD's position as the
premier choice for HPC clusters.

This category points to directory categories of compilers which input, source code, is procedural, mostly procedural programming languages.

fortran which

"
Synopsys' VCS(R) comprehensive RTL verification solution includes the
object code for the VMM Standard Library .

NOTE: Synopsys, DesignWare, Design Compiler, Leda, OpenVera, and VCS are
registered trademarks of Synopsys, Inc.com or telephone
1-650-934-8100.

input mostly

com/ .;
and ARM Physical IP, Inc.

pascal code

VCS customers may license the source
code at no additional cost to gain insight into the implementation details.; ARM
Taiwan; ARM France SAS; ARM Consulting (Shanghai) Co.

which fortran

is a world leader in electronic design automation (EDA)
software for semiconductor design.; ARM Belgium N.; AXYS GmbH; ARM Embedded Technologies Pvt.

languages pascal

seifert@edelman.

pascal programming

mostly gnu

"

Availability
VMM Standard Library object code is available today for VCS users.

fortran implementations

"This will enable a high degree of EDA
tool interoperability, particularly with the advanced capabilities of
SystemVerilog, thereby improving verification productivity and helping to
achieve first-silicon success with even the most challenging chips.

Synopsys Discovery Verification Platform
The Discovery(TM) Verification Platform is a unified environment that
provides high performance and efficiency of interaction among all platform
components, including mixed-HDL simulation, mixed-signal, system-level
verification, assertions, DesignWare(R) verification intellectual property,
code coverage, functional coverage, testbenches and formal analysis. Combined
with support for industry-standard hardware design and verification languages,
including Verilog , VHDL, SystemVerilog, SystemC(TM) and OpenVera(R) and
Synopsys' proven Reference Verification Methodology , the Discovery
Verification Platform helps designers achieve higher levels of verification
productivity by contributing to first-time silicon success within required
project cycles. Discovery and HDL Compiler are
trademarks of Synopsys, Inc. ARM is a registered trademark of ARM Limited. For more information , please contact
Jeff Livesay at http://www.

quickbasic languages

Corporate members of the
SystemVerilog Catalyst Program may gain access to Synopsys' design and
verification tools including: VCS, HDL Compiler(TM), the front-end language
compiler for Design Complier(R), and Leda(R) for the purposes of developing
SystemVerilog -based tools, ensuring their interoperability and providing
support for mutual customers.; ARM KK; ARM Korea Ltd. All other trademarks or registered trademarks
mentioned in this release are the intellectual property of their respective
owners. MOUNTAIN VIEW, Calif.com/ekopath."
Absoft is reselling PathScale's EKOPath Compiler Suite, EKOPath C/C++
Compiler, EKOPath FORTRAN 77/90/95 Compiler, and OptiPath MPI Acceleration
Tools with other products, including Absoft's market-leading Fx2 Debugger .
For more details on this, visit http://www.absoft.

which programming

(Nasdaq: SNPS), a world leader in semiconductor design software, today
announced the availability of the SystemVerilog source code for its
implementation of the VMM Standard Library, a base-class library to accelerate
the adoption of the SystemVerilog standard for verification.
"By making their implementation of the VMM Standard Library available as
source code, Synopsys is providing a jump-start to designers to use the
verification techniques contained within the VMM for SystemVerilog," said
Tim Holden, director, EDA relations, ARM. Synopsys ' implementation of the VMM Standard
Library is based on IEEE P1800 SystemVerilog for easy tool interoperability ,
and has been extensively tested with the VCS solution. The HPC SDK provides the simplest
installation and the highest performance on AMD Opteron processor-based
clusters. For more details, visit
sales@pathscale .

clipper pascal

About the SystemVerilog Catalyst Program
Synopsys' SystemVerilog Catalyst Program promotes the development and use
of EDA tools, verification IP and training services supporting the
SystemVerilog standard for design and verification.

clipper pascal

Synopsys Announces Source-Code License for SystemVerilog Verification Library

"
"Synopsys has been on the leading edge of SystemVerilog from the very
beginning, when our donations accelerated the development of the language's
verification features ," said Rich Goldman, vice president, Strategic Market
Development at Synopsys. The company delivers technology-leading
semiconductor design and verification platforms and IC manufacturing software
products to the global electronics market, enabling the development and
production of complex systems-on-chips (SoCs).com

computers basic

HPC SDK components include PathScale's Fortran and C /C++ compilers that
generate the industry's fastest executable code for AMD Opteron processors,
Absoft 's Fortran 95 compilers for multi-platform compatibility, Absoft's Fx2
debugger for improved F95/C /C++ debugging, Absoft's Common Installer for quick
and easy installation, Absoft Modules environment for 32-bit and 64-bit
software control, Absoft's Common License Manager, MPICH2, LAM/MPI, AMD's
Common Math Libraries and 12 months free continuing support.com.

cobol pascal

"This will enable our Partners to
apply sophisticated SystemVerilog verification methodologies to their ARM(R)
technology-based designs and will benefit other SoC designers in the
electronics industry as a whole by offering a way of standardizing
verification. "We continue that leadership by co-authoring the VMM
for SystemVerilog book with ARM and by making our implementation of the VMM
Standard Library freely available to the industry . Synopsys is headquartered in
Mountain View, California and has offices in more than 60 locations throughout
North America, Europe, Japan and Asia.;
AXYS Design Automation Inc.

CONTACT:
Renae Veiga
Synopsys, Inc.
Summary: The Absoft HPC SDK is a complete solution for developers to
compile, run, debug, and optimize high-performance applications.

programming implementations

com

PathScale's investors include Adams Street Partners, Charles River Ventures,
Enterprise Partners Venture Capital, CMEA Ventures, ChevronTexaco Technology
Ventures and the Dow Employees Pension Plan .