OpenSPARC Contributed Project

Welcome to the OpenSPARC Contributed Project. Our Goals are:

• To provide a place for the community to share their contributions with other members of the community.
• For smaller contributions that may not required the overhead of having their own dedicated project.

Please use our OpenSPARC Forum. for any questions, help or other discussions.

To join this project, Observer role access will be granted. First, register for an account. Then request membership in the contrib project as an observer. Here are the steps to access the CVS tree

Here's the first of the contributions.

OpenSPARC T2 OVA Properties for TLU

Download


Browse

This archive file contains a set of properties written in Open Vera Assertions (OVA) that was used to verify the Trap Logic Unit (TLU) of the OpenSPARC T2 processor. Also included are setup files needed to run formal verification on these properties using Magellan: a formal verification tool from Synopsys.

Note: that people also need to download the RTL source for the TLU in order to run these properties.

OpenSPARC T1 Processor 65 nm synthesis

Download


Browse

Professor Jose Renau from University of California at Santa Cruz has contributed his 65 nm synthesis work to the OpenSPARC community. His scripts takes the OpenSPARC T1 RTL as input and synthesizes them to gates using Synopsys Design Compiler. The target synthesis library and timing constraints can be easily customized. The script reports all design metrics such as timing, area after generating gate level netlist. Using TSMC technology available to Universities from Synopsys, the design can be run at 950 MHz with no caches. The FPU unit can be compiled to run slightly over 1 GHz. The total cell count including combinational and sequential logic is about 130 K and the design area is about 0.3 square-mm with no caches or register files.

There are three files included, which are:

• project_io_cfg.scr : This script sets the project specific configurations such as clock speed, io constraints.
• target_lib.scr : This scripts sets the synthesis target libraries.
• run.scr : This is the script with actual synthesis commands.