找回密码
 注册
搜索
查看: 1095|回复: 2

[IC设计资料] Formality UG/Quick Reference/Command-List

[复制链接]
发表于 2006-4-27 12:52:00 | 显示全部楼层 |阅读模式
【文件名】: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
【目 录】:无目录


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

×
 楼主| 发表于 2006-4-27 12:55:00 | 显示全部楼层
【文件名】: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.
【目 录】:无目录


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

×
点评回复

使用道具 举报

 楼主| 发表于 2006-4-27 12:56:00 | 显示全部楼层
【文件名】:06427@52RD_frm2.rar
【格 式】:rar
【大 小】:671K
【简 介】:Formality Commands (man2)
【目 录】:无目录


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

×
点评回复

使用道具 举报

高级模式
B Color Image Link Quote Code Smilies

本版积分规则

Archiver|手机版|小黑屋|52RD我爱研发网 ( 沪ICP备2022007804号-2 )

GMT+8, 2024-11-17 03:53 , Processed in 0.046475 second(s), 17 queries , Gzip On.

Powered by Discuz! X3.5

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表