/usr/share/tkgate/scripts/parms.tcl is in tkgate-data 2.0~b10-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 | # Copyright (C) 1987-2004 by Jeffery P. Hansen
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
#
# Last edit by hansen on Sat Jan 17 07:51:39 2009
#
#
######################################################################
#
# Basic constants
#
set tkg_progName TKGate
set tkg_prefFile "~/.tkgate2-preferences"
set tkg_errorLogFile "tkgate-error.log"
set tkg_splashWait 1500
set tkg_pastelHighlight "\#bbbbff"
set tkg_tabHighlight "\#ffaaaa"
set tkg_enableCPath 0
set tkg_doBackupOnSave 1
set tkg_wantCheckpoint 0
set tkg_simDefaultDelayFile "${tkg_gateHome}/gdf/default.gdf"
set treeItemHeight 17
set tkg_standardEncodings {iso8859-1 iso8859-2 euc-jp utf-8}
set lastKeyPressTime 0
######################################################################
#
# Set the current directory
#
set cwd [pwd]/
######################################################################
#
# Initial size of main canvas
#
set tkg_initialWidth 1024
set tkg_initialHeight 650
set tkg_minWidth 830
set tkg_minHeight 585
set tkg_borderSize 2
######################################################################
#
# Executable for simulator
#
set simExec "/usr/bin/verga"
######################################################################
#
# InfoPanel position information
#
# current size for InfoPanel in edit mode
set tkg_mmSplitEdit 0
# current size for InfoPanel in simulate mode
set tkg_mmSplitSimulate 0.15
# Minimum size for InfoPanel when switching to edit mode
set tkg_mmSplitEditMin 0
# Minimum size for InfoPanel when switching to simulate mode
set tkg_mmSplitEditLog 0.15
# Minimum size for InfoPanel when logging a message
set tkg_mmSplitSimulateMin 0.15
######################################################################
#
# Basic global variables and initial values
#
# Name of file being edited with user specified (possibly relative) path.
set tkg_currentFile ""
# Full path name of file being edited.
set tkg_currentPath "/"
# Base name of file to be displayed on status line.
set tkg_displayFile ""
# Non-zero if circuit data has been modified since the last save.
set tkg_modifiedFlag 0
# Name of the module currently being edited.
set tkg_currentModule "main"
# Text currently displayed on the status line.
set tkg_statusMessage ""
# List of possible numbers of critical paths to search for.
set tkg_cpathListLengths {1 5 10 25 50 100}
# Name of the current default technology
set tkg_defaultTech "default"
# Name of the current default wire type
set tkg_defaultWType "wire"
# List of built-in wire types
set tkg_wtypeList {wire tri wand triand wor trior tri0 tri1 trireg}
# Current and previous edit tool mode
set mode 1
set old_mode 0
# Currently selected bit width
set tkg_bitWidth 1
# Current default rotation for new gates.
set rot 0
# Non-zero if it is OK to discard edits in the current circuit.
set tkg_discardChanges 0
# Non-zero if extender bars are being used on gates in the current circuit.
set tkg_useExtBars 1
# Indicates the state of the selection buffer
set tkg_cutBufferActive 0
set tkg_selectionActive 0
# Indicates if we are doing a replicate
set tkg_replicateOn 0
# Alternate name for the TkGate home directory.
set TKGATE_HOME $tkg_gateHome
######################################################################
#
# Constants for file name selectors.
#
set gf_file ""
set gf_result ""
set gf_filter ".v"
set gf_filetypes {
{{Verilog Netlist} {.v} }
{{All Files} * }
}
set gf_vfiletypes {
{{Verilog Netlist} {.v} }
{{All Files} * }
}
set gf_imageFiletypes {
{{X11 Bitmap} {.xbm} }
{{All Files} * }
}
set simScript_filter ".vs"
set simScript_filetypes {
{{Verilog Script Files} {.vs} }
{{All Files} * }
}
set mem_filter ".mem"
set mem_filetypes {
{{Gate Memory Image Files} {.mem} }
{{All Files} * }
}
set gdf_filter ".gdf"
set gdf_filetypes {
{{Gate Delay File} {.gdf} }
{{All Files} * }
}
|