1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64 | ###############################################################################
# Copyright (c) 2011-2024 by Altair Engineering, Inc.
# All rights reserved.
#
# Altair Engineering, Inc. makes this software available as part of the Vision
# tool platform. As long as you are a licensee of the Vision tool platform
# you may make copies of the software and modify it to be used within the
# Vision tool platform, but you must include all of this notice on any copy.
# Redistribution without written permission to any third party, with or
# without modification, is not permitted.
# Altair Engineering, Inc. does not warrant that this software is error free
# or fit for any purpose. Altair Engineering, Inc. disclaims any liability for
# all claims, expenses, losses, damages and costs any user may incur as a
# result of using, copying or modifying the software.
# =============================================================================
# @userware
# CDC Example
# @section
# Analyze the Loaded Database
# @description
# Userware example for the ClockTree API. Do additional CDC checks.
# @files
# cdcExample.tcl
# @tag
# zdb
###############################################################################
##
# Get the database.
#
set db [gui database get]
##
# Get the top module and create a new cdc object.
#
set top [$db get_top_design]
set cdc [$db cdc new $top -skipundriven]
##
# Print the clock tree result.
#
foreach domainIdx [$cdc getDomainList -incr] {
set clkPins [$cdc getClkPinList $domainIdx]
puts "CLK-SRC: [$cdc getSrc $domainIdx] => [llength $clkPins]"
}
##
# Calculate and print domain crossing result.
#
set i 0
$cdc calcDomainCross
foreach domainCrossIdx [$cdc getDomainCrossList -incr] {
set count [llength [$cdc getDomainCrossTrgList $domainCrossIdx]]
set pair [$cdc getDomainCrossDomainPair $domainCrossIdx]
set src "\{[$cdc getSrc [lindex $pair 0]]\} "
append src "\{[$cdc getSrc [lindex $pair 1]]\}"
puts "trns. [incr i] ($count FFs) $src"
}
##
# Free the cdc object.
#
$cdc free
|