没有合适的资源?快使用搜索试试~ 我知道了~
首页JasperGold Apps User Guide
JasperGold Apps User Guide
需积分: 45 1.2k 浏览量
更新于2023-05-29
评论 1
收藏 8.62MB PDF 举报
JasperGold Formal Verification Platform provides industry-leading performance, capacity, and usability, delivering a 3X productivity gain and up to 6X performance improvement compared to previous solutions. The platform includes JasperGold Apps—targeted solutions that address specific design and verification challenges.
资源详情
资源评论
资源推荐

JasperGold
®
Apps User’s Guide
Product Version 2015.09
September 2015

© 2003-2015 Cadence Design Systems, Inc. All rights reserved.
Printed in the United States of America.
Cadence Design Systems, Inc. (Cadence), 2655 Seely Ave., San Jose, CA 95134, USA.
Product JasperGold Apps incorporates software developed by others and redistributed according to license
agreement. For further details, see doc/third_party_readme.txt.
Open SystemC, Open SystemC Initiative, OSCI, SystemC, and SystemC Initiative are trademarks or
registered trademarks of Open SystemC Initiative, Inc. in the United States and other countries and are used
with permission.
Trademarks: Trademarks and service marks of Cadence Design Systems, Inc. contained in this document
are attributed to Cadence with the appropriate symbol. For queries regarding Cadence’s trademarks,
contact the corporate legal department at the address shown above or call 800.862.4522. All other
trademarks are the property of their respective holders.
Restricted Permission: This publication is protected by copyright law and international treaties and
contains trade secrets and proprietary information owned by Cadence. Unauthorized reproduction or
distribution of this publication, or any portion of it, may result in civil and criminal penalties. Except as
specified in this permission statement, this publication may not be copied, reproduced, modified, published,
uploaded, posted, transmitted, or distributed in any way, without prior written permission from Cadence.
Unless otherwise agreed to by Cadence in writing, this statement grants Cadence customers permission to
print one (1) hard copy of this publication subject to the following conditions:
1. The publication may be used only in accordance with a written agreement between Cadence and its
customer.
2. The publication may not be modified in any way.
3. Any authorized copy of the publication or portion thereof must include all original copyright,
trademark, and other proprietary notices and this permission statement.
4. The information contained in this document cannot be used in the development of like products or
software, whether for internal or external use, and shall not be used for the benefit of any other party,
whether or not for consideration.
Disclaimer: Information in this publication is subject to change without notice and does not represent a
commitment on the part of Cadence. Except as may be explicitly set forth in such agreement, Cadence does
not make, and expressly disclaims, any representations or warranties as to the completeness, accuracy or
usefulness of the information contained in this document. Cadence does not warrant that use of such
information will not infringe any third party rights, nor does Cadence assume any liability for damages or
costs of any kind that may result from use of such information.
Restricted Rights: Use, duplication, or disclosure by the Government is subject to restrictions as set forth
in FAR52.227-14 and DFAR252.227-7013 et seq. or its successor.

JasperGold Apps User’s Guide
September 2015 3 Product Version 2015.09
© 2003-2015 Cadence Design Systems, Inc. All rights reserved.
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Who Should Read This Book . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
How This Book Is Organized . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Related Documentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Conventions Used in JasperGold Apps Documents . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1
JasperGold Apps Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
JasperGold Apps – Common Attributes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Generic GUI Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Search, Sort, and Filter Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Starting a New JasperGold Apps Database . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Loading an Existing Database . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Formal Property Verification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Formal Property Verification App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Formal Property Verification App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
X-Propagation Verification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
X-Propagation Verification App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
X-Propagation Verification App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Connectivity Verification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Connectivity Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Connectivity Verification App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Architectural Modeling App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Architectural Modeling App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Architectural Modeling App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
CSR Verification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
CSR Verification App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
CSR Verification App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
RTL Development App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
RTL Development App Phases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

JasperGold Apps User’s Guide
September 2015 4 Product Version 2015.09
© 2003-2015 Cadence Design Systems, Inc. All rights reserved.
RTL Development App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Executable Specification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Behavioral Property Synthesis App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Behavioral Property Synthesis App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Behavioral Property Synthesis App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . 84
Structural Property Synthesis App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Structural Property Synthesis App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . 93
Low Power Verification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Low Power Verification App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Low Power Verification App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Sequential Equivalence Checking App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
SEC App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
SEC App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Security Path Verification App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
SPV App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
SPV App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
Coverage App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
Coverage App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
Coverage App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
Coverage Unreachability App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Coverage Unreachability App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Deadlock Detection App . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
DLD App Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
DLD App GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
2
Specifying the Environment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Analyzing the Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
Elaborating the Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
Specifying the Global Clock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
Specifying the Global Reset . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
Specifying Proof Settings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
Specifying Basic Engine Settings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
Specifying Advanced Engine Settings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Capturing and Reusing the Setup Configuration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161

JasperGold Apps User’s Guide
September 2015 5 Product Version 2015.09
© 2003-2015 Cadence Design Systems, Inc. All rights reserved.
Creating Multiple Sessions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
Launching a New Session . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
Launching a New Session with an Elaborated Design . . . . . . . . . . . . . . . . . . . . . . . 163
Saving and Restoring Your Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Saving the Database . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Saving an Elaborated Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Restoring the Database . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Restoring an Elaborated Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
3
Clock Viewer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Clock Viewer – GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
Debugging the Clocking Environment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Clock Debugging Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Clock Debugging Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
4
ProofGrid Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
ProofGrid Manager Use Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
Using ProofGrid with Server Farms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
Leveraging Engine L with ProofGrid Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
ProofGrid Manager GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Working with the Engine Graph . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
Working with the Engine List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
5
Visualize . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
Visualize Window – GUI Orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
Usability Tips . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
GUI Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
Window Docking Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
Copy/Paste Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
Visualize Work Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
Property Visualization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
剩余381页未读,继续阅读















安全验证
文档复制为VIP权益,开通VIP直接复制

评论0