quartus/makeBinfile.tcl

 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
65
###############################################################################
# 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
#       Create Timing Netlist from TimeQuest
#   @section
#       Link to Other Tools
#   @description
#       A script that can be used to generate a zdb binfile of a timing
#       netlist from TimeQuest.
#
#       This script can be loaded as a Userware in RTLvision PRO or as a
#       script in the batch tool starsh. In both cases a zdb binfile is
#       created based on the netlist in the Tcl file `<PROJECT>.rtlvision.tcl`.
#   @files
#       quartus/makeBinfile.tcl
#   @tag
#       rtl verilog fpga
###############################################################################


##
# Check the arguments for this script.
#
if {($argc < 1) || ($argc > 2)} {
    set exe [info nameofexecutable]
    puts stderr "Wrong # of args.\nUsage: $exe $argv0 netlist.tcl ?binfile?"
    exit 1
}

##
# Set the values for all used variables.
#
set tcldb   [lindex $argv 0]
set binfile [file join [file dirname $tcldb] [file rootname $tcldb].zdb]
if {$argc == 2} {
    set binfile [lindex $argv 1]
}

##
# Load the tcl database.
#
source $tcldb

##
# Save the loaded database as a binfile.
#
$db save $binfile

##
# Exit the application.
#
exit