Formality UG/Quick Reference/Command-List

Kittyeen

【文件名】:06427@52RD_forug.rar
【格　式】:rar
【大　小】:897K
【简　介】:This chapter introduces you to the Formality application. It contains
the following sections:
• What Is Formality?
• How Does Formality Fit Into My Design Methodology?
• What Designs Can I Verify?
• What Pieces Make Up Formality?
• General Process Flow
• Input and Output File Types
• Concepts
【目　录】:无目录

Kittyeen

【文件名】:06427@52RD_forqr.rar
【格　式】:rar
【大　小】:63K
【简　介】:Copyright  2003 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.
【目　录】:无目录

Kittyeen

【文件名】:06427@52RD_frm2.rar
【格　式】:rar
【大　小】:671K
【简　介】:Formality Commands (man2)
【目　录】:无目录