Related Manuals for Synopsys Leda
Summary of Contents for Synopsys Leda
- Page 1 Leda Installation Guide Version 2006.06 June 2006 Comments? E-mail your comments about this manual to leda-support@synopsys.com.
- Page 2 Copyright © 2005 Synopsys, Inc. All rights reserved. This software and documentation contain confidential and proprietary information that is the property of Synopsys, Inc. The software and documentation are furnished under a license agreement and may be used or copied only in accordance with the terms of the license agreement. No part of the software and documentation may be reproduced, transmitted, or translated, in any form or by any means, electronic, mechanical, manual, optical, or otherwise, without prior written permission of Synopsys, Inc., or as expressly provided by the license agreement.
-
Page 3: Table Of Contents
The Synopsys Web Site ........ - Page 4 Contents LEDA Installation Guide Synopsys, Inc. June 2006...
-
Page 5: Preface
About This Manual This guide explains how to install, configure, and test the Leda Specifier and Checker tools. Related Documents This manual is part of the Leda documentation set. To see a complete listing, refer to the Leda Document Navigator. Manual Overview... -
Page 6: Typographical And Symbol Conventions
Preface LEDA Installation Guide Typographical and Symbol Conventions The following conventions are used throughout this document: Table 1: Documentation Conventions Convention Description and Example Represents the UNIX prompt. Bold User input (text entered by the user). % cd $LMC_HOME/hdl System-generated text (prompts, messages, files, reports). -
Page 7: Getting Leda Help
LEDA Installation Guide Preface Getting Leda Help For help with Leda, send a detailed explanation of the problem, including contact information, to leda-support@synopsys.com. The Synopsys Web Site General information about Synopsys and its products is available at this URL: http://www.synopsys.com June 2006 Synopsys, Inc. - Page 8 Preface LEDA Installation Guide Synopsys, Inc. June 2006...
-
Page 9: Installing Leda
LEDA Installation Guide Chapter 1: Installing Leda Installing Leda Introduction This chapter explains how to install, configure, and test the Leda Specifier and Checker tools. The information is presented in the following sections: • “Pre-Installation Requirements and Setup” on page 9 •... -
Page 10: Global And Local Installation
There are two ways to install the Leda software. Global installation is required and is the only way to install Leda if you only have a Checker license. If you have a Specifier license, you also install the Leda software globally, and then have the option to install locally if you want to add or modify rules for your own use without affecting other users at your site who are referencing the global installation. -
Page 11: Loading Leda
The size of the design that the Leda tools are checking determines the amount of additional main memory and disk space needed. Loading Leda Leda is available via FTP and CD-ROM. In both cases, the Leda software is delivered in the form of a compressed tar file: UNIX (Solaris/HP-UX/AIX): leda_version_unix.tar.Z... -
Page 12: Global Installation (Required)
LEDA Installation Guide Caution Do not install Linux and UNIX versions of the Leda software in the same directory. They are not compatible. It is OK to have different UNIX platforms installed in the same directory (Solaris, HP-UX, and AIX). - Page 13 • bin/—contains a leda wrapper script that identifies what supported platform you are running on, and invokes the corresponding Leda executable software. The functions that you can access from the leda executable are determined by the licenses you purchased from Synopsys: leda—Mixed-language VHDL and Verilog Specifier and Checker tool.
- Page 14 • bin/—contains a leda wrapper script that identifies what supported platform you are running on, and invokes the corresponding Leda executable software. The functions that you can access from the leda executable are determined by the licenses you purchased from Synopsys: leda—Mixed-language VHDL and Verilog Specifier and Checker tool.
-
Page 15: Installing And Updating The Licenses
3. In the license.dat file SERVER line, change the hostname field to the name of the server where you are going to run the Leda license server. This must be the same machine used to generate the hostid that you provided to Synopsys to get your license keys. -
Page 16: License File Variable Settings
Chapter 1: Installing Leda LEDA Installation Guide When you purchase the standalone Checker tool, you get a leda-checker license INCREMENT. The Checker license gives you access to just the Checker tool. 4. If your site does not maintain a common license server and you are using an individual license.dat file, set the LM_LICENSE_FILE or... -
Page 17: Local Installation (Optional)
Local Installation (Optional) If you need special write access in order to create or modify Leda rules or resources, you can install the rules and resources locally. In this case, your license file must have a Specifier feature. Otherwise, the setup_custom script does not ask any questions about rule installation. -
Page 18: Configuring The Checker
You can set up the environment by setting environment variables in the UNIX shell or in an initialization file (leda.ini). When you invoke the Checker, it searches for a configuration file (leda.ini) that can be either in the current working directory, $HOME, or $LEDA_PATH. This configuration file can contain settings for Checker environment variables. -
Page 19: Leda_Resources (Vhdl Only)
% setenv LEDA_RESOURCES local_resource_directory or, in the leda.ini initialization file: set LEDA_RESOURCES local_resource_directory If this variable is not defined, Leda uses the environment specified by $LEDA_PATH/resources. LEDA_HTML_DOC_PATH and LEDA_HTML_USR_PATH When writing your own rules, you can add links to HTML-based help documents that you create so that other designers can access information explaining, for example, the rationale behind a certain rule. -
Page 20: Html_Navigator
Set these environment variables in the shell as follows: % setenv LEDA_HTML_DOC_PATH "file:/standard_html_documentation_directory" % setenv LEDA_HTML_USR_PATH "file:/user_html_documentation_directory" or, in the leda.ini initialization file: set LEDA_HTML_DOC_PATH html_documentation_directory_1 set LEDA_HTML_USR_PATH html_documentation_directory_2 If the LEDA_HTML_DOC_PATH and LEDA_HTML_USR_PATH variables are not defined, the directory used is $LEDA_PATH/doc/html. -
Page 21: Running The Post-Installation Test
1. Invoke the Checker as follows: % $LEDA_PATH/bin/leda & This opens the Checker main window and a smaller Leda Project window that you can use to open an existing project or start a new one. Click on the Demo button to open the demo project. - Page 22 Chapter 1: Installing Leda LEDA Installation Guide Synopsys, Inc. June 2006...
-
Page 23: Index
Commands gtar xvf Global installation leda gtar xvf command mount Guide to Leda Documentation uncompress Configuration Checker tool HP-UX support Configuration file HTML_NAVIGATOR environment leda.ini variable Documentation conventions Installation Drive, mounting... - Page 24 LM_LICENSE_FILE setting SNPSLMD_LICENSE_FILE Web sites Linux Globetrotter Red Hat Linux support LM_LICENSE_FILE environment variable Loading the Leda software Local installation Netscape PDF reader Platform/OS Requirements Post-installation test running Pre-installation requirements Related documents Requirements pre-installation...
Need help?
Do you have a question about the Leda and is the answer not in the manual?
Questions and answers