Tool Invocation Commands, version I-2013.12-SP4 ii
Copyright Notice and Proprietary Information 2014 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. Destination Control Statement All technical data contained in this publication is subject to the export control laws of the United States of America. Disclosure to nationals of other countries contrary to United States law is prohibited. It is the reader's responsibility to determine the applicable regulations and to comply with them. Disclaimer SYNOPSYS, INC., AND ITS LICENSORS MAKE NO WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, WITH REGARD TO THIS MATERIAL, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. Trademarks Synopsys and certain Synopsys product names are trademarks of Synopsys, as set forth at http://www.synopsys.com/Company/Pages/Trademarks.aspx. All other product or company names may be trademarks of their respective owners. Third-Party Links Any links to third-party websites included in this document are for your convenience only. Synopsys does not endorse and is not responsible for such websites and their practices, including privacy practices, availability, and content. Synopsys, Inc. 700 E. Middleeld Road Mountain View, CA 94043 www.synopsys.com Formality
Tool Invocation Commands, version I-2013.12-SP4 iii
Copyright Notice for the Command-Line Editing Feature 1992, 1993 The Regents of the University of California. All rights reserved. This code is derived from software contributed to Berkeley by Christos Zoulas of Cornell University. Redistribution and use in source and binary forms, with or without modication, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. All advertising materials mentioning features or use of this software must display the following acknowledgement: This product includes software developed by the University of California, Berkeley and its contributors. 4. Neither the name of the University nor the names of its contributors may be used to endorse or promote products derived from this software without specic prior written permission. THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. Copyright Notice for the Line-Editing Library 1992 Simmule Turner and Rich Salz. All rights reserved. This software is not subject to any license of the American Telephone and Telegraph Company or of the Regents of the University of California. Permission is granted to anyone to use this software for any purpose on any computer system, and to alter it and redistribute it freely, subject to the following restrictions: 1. The authors are not responsible for the consequences of use of this software, no matter how awful, even if they arise from aws in it. 2. The origin of this software must not be misrepresented, either by explicit claim or by omission. Since few users ever read sources, credits must appear in the documentation. 3. Altered versions must be plainly marked as such, and must not be misrepresented as being the original software. Since few users ever read sources, credits must appear in the documentation. 4. This notice may not be removed or altered. Formality
Tool Invocation Commands, version I-2013.12-SP4 iv
1 fm_shell fm_shell Runs the Formality shell. SYNTAX fm_shell [ -root path_name ] [ -work_path path_name ] [ -32 | -32bit ] [ -64 | -64bit ] [ -session session_file_name ] [ -x command_string ] [ -file file_name ] [ -name_suffix suffix ] [ -overwrite ] [ -no_init ] [ -version ] ARGUMENTS -root path_name Specifies the Synopsys root path. -work_path path_name Specifies a Formality work directory path. All the temporary files and directories that the tool creates, such as formality.log, fm_shell_command.log, FM_WORK/, or formality_svf/, are stored in the specified location. Ensure that the specified location is readable and writable. -32 | -32bit Invokes the 32-bit executable of the Formality command shell. -64 | -64bit Invokes the 64-bit executable of the Formality command shell. This is the default. -session session_file_name Specifies a saved Formality session file to restore before displaying the fm_shell prompt. The session is restored after loading the setup files but before executing the command string specified by the -x option or the script specified by the -file option. -x command_string Specifies a command string to execute. The command string can be a string of one or more fm_shell commands separated by semicolons. These commands are executed before displaying the fm_shell prompt and before executing the script specified by using the -file option. If the last statement in the command string is quit, the Formality shell command prompt is not displayed and the tool exits after executing the command_string. 2 fm_shell -file file_name Executes a file of fm_shell commands specified by the file_name argument before displaying the initial fm_shell prompt. If the last statement in the file is quit, the Formality shell command prompt is not displayed and the tool exits after executing the commands in the file. -name_suffix suffix Appends the suffix specified by the suffix argument to the names of Formality supplemental log files, formality.log and fm_shell_command.log. The suffix is also appended to the name of the temporary work directory, FM_WORK, and to the name of the automated setup file directory, formality_svf, that Formality creates. -overwrite Specifies that the log files and the temporary work directory can be overwritten. Use this option with the -name_suffix suffix option. -no_init Specifies that the .synopsys_fm.setup startup files are not to be executed. -version Displays the version number and build date information, and then exits. DESCRIPTION The fm_shell command interprets and executes Formality shell commands. The command interpreter is based on Tcl. The fm_shell executes commands until you terminate the session using the quit or exit commands. From the Formality shell, you can also terminate the fm_shell session by pressing Ctrl+D. To cancel, or interrupt, the command currently executing in fm_shell, press Ctrl+C. The time it takes for a command to process an interrupt depends upon the type of command. If you press Ctrl+C three times before a command responds to the interrupt, the Formality shell exits and returns you to the UNIX shell. For more information, see Formality Users Guide and Reference Manual. SEE ALSO formality (1) 3 formality formality Runs the Formality Graphical User Interface (GUI). SYNTAX formality [-root path_name] [-work_path path_name] [-32 | -32bit] [-64 | -64bit] [-session session_file_name] [ -x command_string ] [-file file_name] [-name_suffix suffix] [-overwrite] [-no_init] [-version] Data Types path_name string session_file_name string file_name string suffix string ARGUMENTS -root path_name Specifies the Synopsys root path. -work_path path_name Specifies a Formality work directory path. All the temporary files and directories that the tool creates, such as formality.log, fm_shell_command.log, FM_WORK/, or formality_svf/, are stored in the specified location. Ensure that the specified location is readable and writable. -32 | -32bit Specifies that the 32-bit executable should be used. -64 | -64bit Specifies that the 64-bit executable should be used. This is the default value. -session session_file_name Specifies a saved Formality session file to load before dissplaying the initial fm_shell prompt. The session is restored after loading the setup files but before executing the command string specified by the -x option or the script specified by the -file option. -x command_string Specifies a command string to execute. The command string can be a string of 4 formality one or more fm_shell commands separated by semicolons. The tool executes these commands before displaying the fm_shell prompt and before executing the script specified by the -file option. If the last statement in the command string is quit, the tool does not display the Formality shell command prompt and exits after executing the command string. -file file_name Specifies a file containing fm_shell commands to execute before displaying the fm_shell prompt. If the last statement in the file is quit, the tool exits after executing the commands in the file, and does not display the Formality shell command prompt. -name_suffix suffix Appends the suffix specified by the suffix argument to names of Formality supplemental log files, formality.log and fm_shell_command.log. The tool also appends the suffix to the name of the temporary work directory FM_WORK, and to the name of the automated setup file directory, formality_svf, that it creates. -overwrite Specifies that the log files and the temporary work directory can be overwritten. Use this option with the -name_suffix suffix option. -no_init Specifies that the .synopsys_fm.setup startup files are not to be executed. -version Displays the version number, build date information, and then exits. DESCRIPTION This command provides a graphical user interface (GUI) to the Formality shell. It interprets and executes Formality shell commands. The Formality command interpreter is based on Tcl. Formality executes commands until you terminate it using the quit or exit commands. From the invocation shell, you can also terminate the Formality session by pressing Ctrl+D. To cancel or interrupt the command currently executing in Formality, press Ctrl+C in the invocation shell or click the Stop button. The time it takes for a command to process an interrupt depends upon the type of command. If you press Ctrl+C three times before a command responds to the interrupt, Formality exits and returns you to the UNIX shell. For more information, see Formality Users Guide and Reference Manual. SEE ALSO fm_shell (1)