Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2 | mjames | 1 | /* $Id: print_vhdl.c,v 1.1.1.1 2003/11/04 23:34:57 mjames Exp $ */ |
| 2 | /* |
||
| 3 | * $Log: print_vhdl.c,v $ |
||
| 4 | * Revision 1.1.1.1 2003/11/04 23:34:57 mjames |
||
| 5 | * Imported into local repositrory |
||
| 6 | * |
||
| 7 | * Revision 1.17 2003/01/02 21:37:16 mjames |
||
| 8 | * Experiment on creating NOT_ROUTABLE_H and NOT_ROUTABLE_L |
||
| 9 | * properties on the nets so that pin jumpers can be made without a problem. |
||
| 10 | * |
||
| 11 | * Still need to sort out pin assignments made to these not_routable nets |
||
| 12 | * which will become legal in some cases so that pullups and pulldown |
||
| 13 | * pins can be used on the FPGA. |
||
| 14 | * |
||
| 15 | * Revision 1.16 2002/09/30 13:23:05 MJAMES |
||
| 16 | * Modified partition rules to include 'default assignment on declaration' |
||
| 17 | * which maps to inputs being driven with default values on |
||
| 18 | * productuion of a partition. |
||
| 19 | * |
||
| 20 | * signal c : std_logic := '0'; |
||
| 21 | * |
||
| 22 | * becomes |
||
| 23 | * |
||
| 24 | * signal c: std_logic; |
||
| 25 | * |
||
| 26 | * begin |
||
| 27 | * c<= '0'; |
||
| 28 | * |
||
| 29 | * Revision 1.15 2002/09/27 22:35:33 MJAMES |
||
| 30 | * Added lhs_expr for cases like |
||
| 31 | * |
||
| 32 | * x(0) <= y |
||
| 33 | * |
||
| 34 | * where x is std_logic_vector(0 downto 0) and y is std_logic. |
||
| 35 | * |
||
| 36 | * Also added printing for default values on signals : this to be extended |
||
| 37 | * |
||
| 38 | * Revision 1.14 2002/09/09 10:12:02 mjames |
||
| 39 | * Moved pin remapping function to pin ident editing function from |
||
| 40 | * sorting pin name routine. |
||
| 41 | * |
||
| 42 | * Revision 1.13 2002/08/23 14:19:19 mjames |
||
| 43 | * Introduced bundles and external sockets to VHDL from the Verilog printer. |
||
| 44 | * |
||
| 45 | * Revision 1.12 2001/12/13 22:18:52 mjames |
||
| 46 | * Using #ident with header to identify file |
||
| 47 | * |
||
| 48 | * Corrected an attempt to reference a null net |
||
| 49 | * |
||
| 50 | * Revision 1.11 2001/11/19 10:41:35 mjames |
||
| 51 | * Merged back DTC release |
||
| 52 | * |
||
| 53 | * Revision 1.10.2.1 2001/11/15 22:25:39 mjames |
||
| 54 | * Removed unused variables, added brackets |
||
| 55 | * |
||
| 56 | * Revision 1.10 2001/11/01 11:04:36 mjames |
||
| 57 | * Pin node identifier is printed out in a component declaration rather than |
||
| 58 | * node name which is more a property of the attached net. |
||
| 59 | * |
||
| 60 | * Revision 1.9 2001/10/31 22:20:12 mjames |
||
| 61 | * Tidying up problematical comments caused by CVS |
||
| 62 | * 'intelligent' comment guessing |
||
| 63 | * |
||
| 64 | * Revision 1.8 2001/10/10 20:18:22 mjames |
||
| 65 | * Added a vert_regcomp function to compile regular expressions |
||
| 66 | * with '^' (match start string) and '$' (match end string) bracketing |
||
| 67 | * this => wildcard must match entire string not just a part of it. |
||
| 68 | * |
||
| 69 | * Revision 1.7 2001/09/21 14:22:27 mjames |
||
| 70 | * Added prefix to instance name in order to avoid a Model Technology name |
||
| 71 | * space collision e.g. |
||
| 72 | * |
||
| 73 | * U1 : U1 port map () ... |
||
| 74 | * |
||
| 75 | * Now prints |
||
| 76 | * |
||
| 77 | * I_U1 : U1 port map which is safer. |
||
| 78 | * |
||
| 79 | * Revision 1.6 2001/06/22 11:06:19 mjames |
||
| 80 | * Modified to tag VHDL code generated so that |
||
| 81 | * Vertical can recognise it. |
||
| 82 | * |
||
| 83 | * Revision 1.5 2001/06/20 13:45:40 mjames |
||
| 84 | * For all components defined by 'Component' declarations, forced the |
||
| 85 | * printout of only one component for several instances sharing the same component declaration. |
||
| 86 | * |
||
| 87 | * Revision 1.4 2001/06/06 12:10:19 mjames |
||
| 88 | * Move from HPUX |
||
| 89 | * |
||
| 90 | * Revision 1.3 2001/04/27 08:08:44 mjames |
||
| 91 | * Extra tidying of the print_vhdl code |
||
| 92 | * |
||
| 93 | * Revision 1.2 2000/11/29 21:51:18 mjames |
||
| 94 | * Fine tuning of software |
||
| 95 | * |
||
| 96 | * Revision 1.1.1.1 2000/10/19 21:58:39 mjames |
||
| 97 | * Mike put it here |
||
| 98 | * |
||
| 99 | * |
||
| 100 | * Revision 1.23 2000/10/12 15:32:32 15:32:32 mjames (Mike James) |
||
| 101 | * Removed <cr> |
||
| 102 | * |
||
| 103 | * Revision 1.22 2000/10/12 14:25:55 14:25:55 mjames (Mike James) |
||
| 104 | * changed listing vhdl signals to expand expressions |
||
| 105 | * until a constant is located |
||
| 106 | * |
||
| 107 | * Revision 1.21 2000/10/04 10:37:08 10:37:08 mjames (Mike James) |
||
| 108 | * Modified for Vertical2 : support COMPONENTS and SIGNALS |
||
| 109 | * |
||
| 110 | * Revision 1.21 2000/10/04 10:37:08 10:37:08 mjames (Mike James) |
||
| 111 | * Part of Release PSAVAT01 |
||
| 112 | * |
||
| 113 | * Revision 1.20 2000/10/02 11:04:17 11:04:17 mjames (Mike James) |
||
| 114 | * new_vhdl |
||
| 115 | * |
||
| 116 | * Revision 1.18 2000/09/21 10:15:48 10:15:48 mjames (Mike James) |
||
| 117 | * Part of Release Sep21Alpha |
||
| 118 | * |
||
| 119 | * Revision 1.17 2000/08/25 09:57:14 09:57:14 mjames (Mike James) |
||
| 120 | * Part of Release Aug25_alpha |
||
| 121 | * |
||
| 122 | * Revision 1.16 2000/08/25 09:55:33 09:55:33 mjames (Mike James) |
||
| 123 | * Corrected for the disappearance of generic information |
||
| 124 | * |
||
| 125 | * Revision 1.15 2000/08/16 08:57:30 08:57:30 mjames (Mike James) |
||
| 126 | * Part of Release CD01_Aug2000 |
||
| 127 | * |
||
| 128 | * Revision 1.14 2000/08/14 14:45:11 14:45:11 mjames (Mike James) |
||
| 129 | * Part of Release Aug_14_2000 |
||
| 130 | * |
||
| 131 | * Revision 1.13 2000/08/14 14:43:15 14:43:15 mjames (Mike James) |
||
| 132 | * Added power pins |
||
| 133 | * |
||
| 134 | * Revision 1.12 2000/08/11 08:30:32 08:30:32 mjames (Mike James) |
||
| 135 | * Part of Release Aug_11_2000 |
||
| 136 | * |
||
| 137 | * Revision 1.11 2000/08/09 10:31:47 10:31:47 mjames (Mike James) |
||
| 138 | * Part of Release Aug__9_2000 |
||
| 139 | * |
||
| 140 | * Revision 1.10 2000/05/31 11:42:56 11:42:56 mjames (Mike James) |
||
| 141 | * Part of Release May_31_2000 |
||
| 142 | * |
||
| 143 | * Revision 1.9 2000/05/08 17:01:37 17:01:37 mjames (Mike James) |
||
| 144 | * Part of Release May__8_2000 |
||
| 145 | * |
||
| 146 | * Revision 1.8 2000/05/08 16:59:30 16:59:30 mjames (Mike James) |
||
| 147 | * Part of Release May__8_2000 |
||
| 148 | * |
||
| 149 | * Revision 1.7 2000/05/08 16:57:07 16:57:07 mjames (Mike James) |
||
| 150 | * Part of Release May__8_2000 |
||
| 151 | * |
||
| 152 | * Revision 1.6 2000/03/08 16:19:22 16:19:22 mjames (Mike James) |
||
| 153 | * New version including PC |
||
| 154 | * |
||
| 155 | * Revision 1.3 2000/01/20 15:58:47 15:58:47 mjames (Mike James) |
||
| 156 | * Part of Release R22 |
||
| 157 | * |
||
| 158 | * Revision 1.2 99/12/22 11:15:28 11:15:28 mjames (Mike James) |
||
| 159 | * Part of Release Dec_22_1999 |
||
| 160 | * |
||
| 161 | * Revision 1.1 99/11/23 13:52:14 13:52:14 mjames (Mike James) |
||
| 162 | * Initial revision |
||
| 163 | * |
||
| 164 | */ |
||
| 165 | |||
| 166 | #include "print_vhdl.h" |
||
| 167 | |||
| 168 | #include "cmdlog.h" |
||
| 169 | #include "cmdparse.h" |
||
| 170 | #include "database.h" |
||
| 171 | #include "expression.h" |
||
| 172 | #include "generic.h" |
||
| 173 | #include "print_vlog.h" |
||
| 174 | #include "printout.h" |
||
| 175 | #include "sorting.h" |
||
| 176 | #include "vertcl_main.h" |
||
| 177 | |||
| 178 | #include <ctype.h> |
||
| 179 | #include <regex.h> |
||
| 180 | #include <stdio.h> |
||
| 181 | #include <stdlib.h> |
||
| 182 | #include <string.h> |
||
| 183 | #include <time.h> |
||
| 184 | /* for streq */ |
||
| 185 | #include "lx_support.h" |
||
| 186 | /* ********************************************************************** */ |
||
| 187 | |||
| 188 | /* Decoding pin direction in VHDL */ |
||
| 189 | static char *decode_pin_VHDL[] = {"-NONE-", |
||
| 190 | "IN", |
||
| 191 | "OUT", |
||
| 192 | "BUFFER", /* buffer is a sort of Output pin */ |
||
| 193 | "INOUT", |
||
| 194 | "CONFIG_PIN", |
||
| 195 | "POWER_PIN"}; |
||
| 196 | /* ********************************************************************** */ |
||
| 197 | /* VHDL output of the entities */ |
||
| 198 | /* ********************************************************************** */ |
||
| 199 | static char illegal[] = "$:|/.\\ "; |
||
| 200 | static char replace[] = "Sxxxxx_"; |
||
| 201 | |||
| 202 | char *make_vhdl_name (char *buffer, char *str) |
||
| 203 | { |
||
| 204 | int i, j, l; |
||
| 205 | buffer[0] = 0; |
||
| 206 | if (str) |
||
| 207 | { |
||
| 208 | strcpy (buffer, str); /* should be a call to strncpy !! */ |
||
| 209 | } |
||
| 210 | l = strlen (buffer); |
||
| 211 | /* edit out illegal strings from the net name */ |
||
| 212 | for (i = 0; i < l; i++) |
||
| 213 | { |
||
| 214 | for (j = 0; j < sizeof (illegal); j++) |
||
| 215 | if (buffer[i] == illegal[j]) |
||
| 216 | buffer[i] = replace[j]; |
||
| 217 | } |
||
| 218 | i = l - 1; |
||
| 219 | /* convert pin indices back from Altera form if we are looking at FIT files */ |
||
| 220 | if (l) |
||
| 221 | { |
||
| 222 | /* name ends in underscore, this forces mapping name_nn_ --> name(nn) */ |
||
| 223 | if (buffer[i] == '_') |
||
| 224 | { |
||
| 225 | buffer[i--] = ')'; |
||
| 226 | while (i >= 0 && buffer[i] != '_') |
||
| 227 | i--; |
||
| 228 | if (i >= 0) |
||
| 229 | buffer[i] = '('; |
||
| 230 | } |
||
| 231 | } |
||
| 232 | return buffer; |
||
| 233 | } |
||
| 234 | |||
| 235 | /* ********************************************************************** */ |
||
| 236 | /* decodes the 'vector' part of a bus , if known */ |
||
| 237 | void decode_vhdl_bus (FILE *f, vhdl_t *vhdl, generic_print_style recurse_generics) |
||
| 238 | { |
||
| 239 | if (!vhdl) |
||
| 240 | vhdl = default_vhdl_datatype; |
||
| 241 | if (vhdl->is_vector) |
||
| 242 | print_range_expression (f, vhdl->expr, recurse_generics); |
||
| 243 | } |
||
| 244 | |||
| 245 | /* ********************************************************************** */ |
||
| 246 | |||
| 247 | void decode_vhdl_type (FILE *f, vhdl_t *vhdl, generic_print_style recurse_generics) |
||
| 248 | { |
||
| 249 | /* avoid crashing on a null pointer */ |
||
| 250 | if (!vhdl) |
||
| 251 | vhdl = default_vhdl_datatype; |
||
| 252 | fprintf (f, "%s ", vhdl->basetype); |
||
| 253 | if (vhdl->is_vector) |
||
| 254 | decode_vhdl_bus (f, vhdl, recurse_generics); |
||
| 255 | } |
||
| 256 | |||
| 257 | /* ********************************************************************** */ |
||
| 258 | |||
| 259 | /* print out a VHDL component declaration */ |
||
| 260 | void print_VHDL_component (FILE *f, socket_t *dev, int All) |
||
| 261 | { |
||
| 262 | node_t *n; |
||
| 263 | /* sort the identifiers of the nodes */ |
||
| 264 | sort_nodes (dev, NO_EXTRACT_XY); |
||
| 265 | |||
| 266 | fprintf (f, "COMPONENT %s\n", check_null_str (dev->type)); |
||
| 267 | fprintf (f, "-- DEV_IDENT \"%s\"\n\n", check_null_str (dev->identifier)); |
||
| 268 | if (dev->is_template) |
||
| 269 | fprintf (f, "-- Defined by COMPONENT definition\n"); |
||
| 270 | |||
| 271 | if (dev->generics) |
||
| 272 | list_VHDL_generic_values (f, &dev->generics); |
||
| 273 | |||
| 274 | fprintf (f, " PORT ( \n"); |
||
| 275 | /* sort the identifiers of the nodes */ |
||
| 276 | sort_nodes (dev, NO_EXTRACT_XY); |
||
| 277 | n = dev->nodes; |
||
| 278 | while (n) |
||
| 279 | { |
||
| 280 | vhdl_t *pin_datatype = default_vhdl_datatype; |
||
| 281 | expression_t *default_expr = NULL; |
||
| 282 | char nam[MAXIDLEN]; |
||
| 283 | if (n->orig_vhdltype) |
||
| 284 | { |
||
| 285 | pin_datatype = n->orig_vhdltype; |
||
| 286 | default_expr = n->orig_vhdltype->default_expr; |
||
| 287 | } |
||
| 288 | else if (n->vhdltype) |
||
| 289 | { |
||
| 290 | pin_datatype = n->vhdltype; |
||
| 291 | default_expr = n->vhdltype->default_expr; |
||
| 292 | } |
||
| 293 | if ((n->net_assigned && n->in_use) || (All || dev->is_template)) |
||
| 294 | { |
||
| 295 | fprintf ( |
||
| 296 | f, |
||
| 297 | " %-16s : %6s ", |
||
| 298 | make_vhdl_name (nam, check_null_str (n->identifier)), /* was |
||
| 299 | n->name */ |
||
| 300 | decode_pin_VHDL[(int) n->pindir]); |
||
| 301 | decode_vhdl_type (f, pin_datatype, NO_RECURSE); /* until a generic |
||
| 302 | found */ |
||
| 303 | /* ought to be optional dependent on synthesis style */ |
||
| 304 | if (default_expr) |
||
| 305 | { |
||
| 306 | fprintf (f, ":= "); |
||
| 307 | print_expression (f, default_expr, NO_RECURSE); |
||
| 308 | } |
||
| 309 | |||
| 310 | if (n->sktnext) |
||
| 311 | fprintf (f, ";"); |
||
| 312 | fprintf (f, " -- i=%s r=%d --\n", n->identifier, n->refcount); |
||
| 313 | } |
||
| 314 | n = n->sktnext; /* traverse to next pin on socket */ |
||
| 315 | }; |
||
| 316 | fprintf (f, ");\nEND COMPONENT;\n\n"); |
||
| 317 | } |
||
| 318 | |||
| 319 | /* ********************************************************************** */ |
||
| 320 | /* Printout an instance of a component */ |
||
| 321 | /* ********************************************************************** */ |
||
| 322 | void print_VHDL_instance (FILE *f, socket_t *dev, int All) |
||
| 323 | { |
||
| 324 | node_t *n; |
||
| 325 | int need_term = 0; |
||
| 326 | char *prefix; |
||
| 327 | /* only prefix devices with similar idents and types */ |
||
| 328 | if (!ISNULLSTR (dev->identifier) && !ISNULLSTR (dev->type) && |
||
| 329 | streq (dev->identifier, dev->type)) |
||
| 330 | { |
||
| 331 | prefix = "I_"; |
||
| 332 | } |
||
| 333 | else |
||
| 334 | { |
||
| 335 | prefix = ""; |
||
| 336 | } |
||
| 337 | |||
| 338 | fprintf ( |
||
| 339 | f, |
||
| 340 | "%s%s : %s \n", |
||
| 341 | prefix, |
||
| 342 | check_null_str (dev->identifier), |
||
| 343 | check_null_str (dev->type)); |
||
| 344 | |||
| 345 | if (dev->generics) |
||
| 346 | list_VHDL_generic_map_values (f, &dev->generics); |
||
| 347 | |||
| 348 | fprintf (f, " PORT MAP ( \n"); |
||
| 349 | /* sort the identifiers of the nodes */ |
||
| 350 | sort_nodes (dev, NO_EXTRACT_XY); |
||
| 351 | n = dev->nodes; |
||
| 352 | while (n) |
||
| 353 | { |
||
| 354 | vhdl_t *pin_datatype = default_vhdl_datatype; |
||
| 355 | char nam1[MAXIDLEN], nam2[MAXIDLEN]; |
||
| 356 | if (n->vhdltype) |
||
| 357 | pin_datatype = n->vhdltype; |
||
| 358 | if ((n->net_assigned && n->in_use) || All) |
||
| 359 | { |
||
| 360 | char *sig_prefix; |
||
| 361 | if (need_term) |
||
| 362 | fprintf (f, ",\n"); |
||
| 363 | else |
||
| 364 | fprintf (f, "\n"); |
||
| 365 | need_term = 1; |
||
| 366 | /* is there a slice in the output */ |
||
| 367 | if (n->net && n->net->needs_buff_sig) |
||
| 368 | sig_prefix = BUFPREFIX; |
||
| 369 | else |
||
| 370 | sig_prefix = ""; |
||
| 371 | |||
| 372 | if (n->net) |
||
| 373 | { |
||
| 374 | fprintf ( |
||
| 375 | f, |
||
| 376 | " %s", |
||
| 377 | make_vhdl_name ( |
||
| 378 | nam1, check_null_str (n->identifier))); /* was n->name |
||
| 379 | */ |
||
| 380 | if (n->lhs_expr) |
||
| 381 | { |
||
| 382 | print_range_expression (f, n->lhs_expr, RECURSE_CONST); |
||
| 383 | } |
||
| 384 | fprintf ( |
||
| 385 | f, |
||
| 386 | "=> %s%s ", |
||
| 387 | sig_prefix, |
||
| 388 | make_vhdl_name (nam2, check_null_str (n->net->name))); |
||
| 389 | } |
||
| 390 | else |
||
| 391 | { |
||
| 392 | fprintf ( |
||
| 393 | f, |
||
| 394 | " %-20s => OPEN ", |
||
| 395 | make_vhdl_name ( |
||
| 396 | nam1, check_null_str (n->identifier))); /* was n->name |
||
| 397 | */ |
||
| 398 | } |
||
| 399 | /* do bus slicing only if the connected net is a bus */ |
||
| 400 | if (n->net && n->net->vhdltype) |
||
| 401 | { |
||
| 402 | decode_vhdl_bus (f, n->net->vhdltype, RECURSE_CONST); |
||
| 403 | } |
||
| 404 | else |
||
| 405 | { |
||
| 406 | /* fprintf(f,"\n"); */ |
||
| 407 | } |
||
| 408 | } |
||
| 409 | n = n->sktnext; /* traverse to next pin on socket */ |
||
| 410 | }; |
||
| 411 | fprintf (f, "\n );\n\n"); |
||
| 412 | } |
||
| 413 | |||
| 414 | /* ********************************************************************** */ |
||
| 415 | |||
| 416 | void print_VHDL_sigs (FILE *f) |
||
| 417 | { |
||
| 418 | net_t *net = named_list; |
||
| 419 | char nam[MAXIDLEN], *sig_prefix; |
||
| 420 | while (net) |
||
| 421 | { |
||
| 422 | if (net->needs_buff_sig) |
||
| 423 | sig_prefix = BUFPREFIX; |
||
| 424 | else |
||
| 425 | sig_prefix = ""; |
||
| 426 | /* May 21 2001 only print nets that connect to 'external' tagged modules */ |
||
| 427 | if ((IS_ROUTABLE (net->how_routed)) && |
||
| 428 | ((net->bundle_member) || ((net->inside_partition) && net->has_external))) |
||
| 429 | { |
||
| 430 | fprintf (f, " "); |
||
| 431 | } |
||
| 432 | else |
||
| 433 | { |
||
| 434 | fprintf (f, " --"); |
||
| 435 | } |
||
| 436 | |||
| 437 | fprintf (f, " signal %s%s : ", sig_prefix, make_vhdl_name (nam, net->name)); |
||
| 438 | decode_vhdl_type (f, net->vhdltype, RECURSE_CONST); |
||
| 439 | if (net->vhdltype) |
||
| 440 | { |
||
| 441 | if (net->vhdltype->decl_expr) |
||
| 442 | { |
||
| 443 | print_expression (f, net->vhdltype->decl_expr, NO_RECURSE); |
||
| 444 | } |
||
| 445 | if (net->vhdltype->default_expr) |
||
| 446 | { |
||
| 447 | fprintf (f, ":= "); |
||
| 448 | print_expression (f, net->vhdltype->default_expr, NO_RECURSE); |
||
| 449 | } |
||
| 450 | } |
||
| 451 | fprintf ( |
||
| 452 | f, |
||
| 453 | "; -- partition : %s %s %s %s %s\n", |
||
| 454 | net->inside_partition ? "used in," : "unused in,", |
||
| 455 | net->leaves_partition ? "leaves," : "buried,", |
||
| 456 | net->needs_buff_sig ? ", buffered," : "", |
||
| 457 | net->has_external ? "external skt" : "internal skt", |
||
| 458 | net->bundle_member ? "bundle member" : " not bundled"); |
||
| 459 | net = net->next; |
||
| 460 | } |
||
| 461 | } |
||
| 462 | /* ********************************************************************** */ |
||
| 463 | |||
| 464 | void print_VHDL_assignments (FILE *f) |
||
| 465 | { |
||
| 466 | net_t *net = named_list; |
||
| 467 | socket_t *socket = socket_head; |
||
| 468 | |||
| 469 | /* code borrowed from Verilog */ |
||
| 470 | fprintf (f, "-- Bundled signals\n\n"); |
||
| 471 | |||
| 472 | while (socket) |
||
| 473 | { |
||
| 474 | node_t *nodes = socket->nodes; |
||
| 475 | if (socket->highest_bundle && |
||
| 476 | (socket->bundle_width > MINBUNDLE)) /* will not do assigns on small bundles |
||
| 477 | */ |
||
| 478 | while (nodes) |
||
| 479 | { |
||
| 480 | if (nodes->bundle_index >= 0) |
||
| 481 | { |
||
| 482 | char nam[MAXIDLEN]; |
||
| 483 | net_t *net = nodes->net; |
||
| 484 | make_vhdl_name (nam, net->name); |
||
| 485 | fprintf ( |
||
| 486 | f, |
||
| 487 | " %s <= %s(%d);\n", |
||
| 488 | nam, |
||
| 489 | socket->identifier, |
||
| 490 | nodes->bundle_index); |
||
| 491 | } |
||
| 492 | nodes = nodes->sktnext; |
||
| 493 | } |
||
| 494 | /* else |
||
| 495 | fprintf(f,"-- %s;\n", |
||
| 496 | net->name); |
||
| 497 | */ |
||
| 498 | |||
| 499 | socket = socket->next; |
||
| 500 | } |
||
| 501 | |||
| 502 | fprintf (f, "-- Buffered signals\n\n"); |
||
| 503 | while (net) |
||
| 504 | { |
||
| 505 | if (net->inside_partition && net->needs_buff_sig) |
||
| 506 | { |
||
| 507 | char nam[MAXIDLEN]; |
||
| 508 | make_vhdl_name (nam, net->name), |
||
| 509 | |||
| 510 | fprintf (f, " %-20s <= " BUFPREFIX "%s; -- buffer\n", nam, nam); |
||
| 511 | } |
||
| 512 | if (net->vhdl_connect_net && net->subnets) |
||
| 513 | { |
||
| 514 | char nam[MAXIDLEN], nam1[MAXIDLEN]; |
||
| 515 | make_vhdl_name (nam, net->identifier); |
||
| 516 | make_vhdl_name (nam1, net->subnets->identifier); |
||
| 517 | fprintf (f, " %-20s <= %s; -- connector\n", nam, nam1); |
||
| 518 | } |
||
| 519 | else if (net->inside_partition && net->vhdltype && net->vhdltype->default_expr) |
||
| 520 | { |
||
| 521 | char nam[MAXIDLEN]; |
||
| 522 | make_vhdl_name (nam, net->identifier); |
||
| 523 | fprintf (f, " %-20s <= ", nam); |
||
| 524 | print_range_expression (f, net->vhdltype->default_expr, NO_RECURSE); |
||
| 525 | fprintf (f, "; -- Defined default drive value\n"); |
||
| 526 | } |
||
| 527 | |||
| 528 | net = net->next; |
||
| 529 | } |
||
| 530 | fprintf (f, "-- \n\n"); |
||
| 531 | } |
||
| 532 | |||
| 533 | /* ********************************************************************** */ |
||
| 534 | /* code lists bundles although they are probably broken */ |
||
| 535 | void print_VHDL_entity (FILE *f, char *entityname) |
||
| 536 | { |
||
| 537 | net_t *net; |
||
| 538 | int need_term = 0; |
||
| 539 | socket_t *skt; |
||
| 540 | char nam[MAXIDLEN]; |
||
| 541 | |||
| 542 | fprintf (f, "ENTITY %s IS\n", entityname); |
||
| 543 | /* print out global generic settings */ |
||
| 544 | /* |
||
| 545 | list_VHDL_generic_values (f,&partition_generics); |
||
| 546 | */ |
||
| 547 | fprintf (f, " PORT (\n"); |
||
| 548 | |||
| 549 | skt = socket_head; |
||
| 550 | /* bundles of pins are replaced by signals named the same as a socket which |
||
| 551 | they are bundled through , unless the bundles are too small in which case they |
||
| 552 | are replaced by separate wires */ |
||
| 553 | while (skt) |
||
| 554 | { |
||
| 555 | if (skt->highest_bundle) |
||
| 556 | { |
||
| 557 | if (skt->bundle_width > MINBUNDLE) |
||
| 558 | { |
||
| 559 | if (need_term) |
||
| 560 | { |
||
| 561 | fprintf (f, ";\n"); |
||
| 562 | need_term = 0; |
||
| 563 | } |
||
| 564 | else |
||
| 565 | { |
||
| 566 | fprintf (f, "\n"); |
||
| 567 | } |
||
| 568 | fprintf ( |
||
| 569 | f, |
||
| 570 | " %-15s : %6s %s (%d downto 0) ", |
||
| 571 | make_vhdl_name (nam, skt->identifier), |
||
| 572 | decode_pin_VHDL[BIDIR], |
||
| 573 | default_vhdl_bustype->basetype, |
||
| 574 | skt->bundle_width - 1); |
||
| 575 | |||
| 576 | need_term = 1; |
||
| 577 | } |
||
| 578 | else |
||
| 579 | /* if the 'bundle' has less than MINBUNDLE pins, */ |
||
| 580 | /* list out all of the nets in turn as pins */ |
||
| 581 | { |
||
| 582 | node_t *node; |
||
| 583 | node = skt->nodes; |
||
| 584 | while (node) |
||
| 585 | { |
||
| 586 | net = node->net; |
||
| 587 | /* |
||
| 588 | printf("node %s\n",node->identifier); |
||
| 589 | */ |
||
| 590 | if (net && IS_ROUTABLE (net->how_routed) && |
||
| 591 | net->bundle_member) |
||
| 592 | { |
||
| 593 | if (need_term) |
||
| 594 | { |
||
| 595 | fprintf (f, ";\n"); |
||
| 596 | need_term = 0; |
||
| 597 | } |
||
| 598 | else |
||
| 599 | { |
||
| 600 | fprintf (f, "\n"); |
||
| 601 | } |
||
| 602 | fprintf ( |
||
| 603 | f, |
||
| 604 | " %-15s : %6s ", |
||
| 605 | make_vhdl_name (nam, net->name), |
||
| 606 | decode_pin_VHDL[net->ext_dir]); |
||
| 607 | decode_vhdl_type ( |
||
| 608 | f, net->vhdltype, RECURSE_NUMBER); |
||
| 609 | need_term = 1; |
||
| 610 | } |
||
| 611 | node = node->sktnext; |
||
| 612 | } |
||
| 613 | } |
||
| 614 | } |
||
| 615 | |||
| 616 | skt = skt->next; |
||
| 617 | } |
||
| 618 | |||
| 619 | /* go back and list all of the non-bundle pins */ |
||
| 620 | |||
| 621 | net = named_list; |
||
| 622 | |||
| 623 | while (net) |
||
| 624 | { |
||
| 625 | /* print out only unbundled nets as ports of the pcb */ |
||
| 626 | if (net->leaves_partition && !net->bundle_member) |
||
| 627 | { |
||
| 628 | if (need_term) |
||
| 629 | { |
||
| 630 | fprintf (f, ";\n"); |
||
| 631 | } |
||
| 632 | else |
||
| 633 | { |
||
| 634 | fprintf (f, "\n"); |
||
| 635 | } |
||
| 636 | fprintf ( |
||
| 637 | f, |
||
| 638 | " %-15s : %6s ", |
||
| 639 | make_vhdl_name (nam, net->name), |
||
| 640 | decode_pin_VHDL[net->ext_dir]); |
||
| 641 | decode_vhdl_type (f, net->vhdltype, RECURSE_NUMBER); |
||
| 642 | |||
| 643 | need_term = 1; |
||
| 644 | } |
||
| 645 | net = net->next; |
||
| 646 | } |
||
| 647 | fprintf (f, "\n );\n"); |
||
| 648 | fprintf (f, "END %s;\n\n", entityname); |
||
| 649 | } |
||
| 650 | |||
| 651 | /* ********************************************************************** */ |
||
| 652 | /* generate default VHDL Libraries */ |
||
| 653 | /* ********************************************************************** */ |
||
| 654 | void print_VHDL_libs (FILE *f) |
||
| 655 | { |
||
| 656 | fprintf (f, "LIBRARY IEEE,WORK;\nUSE IEEE.std_logic_1164.ALL;\n\n"); |
||
| 657 | } |
||
| 658 | |||
| 659 | /* ********************************************************************** */ |
||
| 660 | /* generate a VHDL architecture forselected sockets */ |
||
| 661 | /* ********************************************************************** */ |
||
| 662 | void print_VHDL_architecture (FILE *f, char *entityname) |
||
| 663 | { |
||
| 664 | socket_t *skt; |
||
| 665 | char *arch_name; |
||
| 666 | generic_info_t gen[1]; |
||
| 667 | /* if we are using VHDL then look at the VHDL architecture name if defined*/ |
||
| 668 | |||
| 669 | arch_name = |
||
| 670 | (get_generic_value (&global_generics, "vhdl_arch_name", gen) == IS_ENV_VAL && |
||
| 671 | gen->expr) |
||
| 672 | ? gen->expr->left.s |
||
| 673 | : "top_arch"; |
||
| 674 | fprintf (f, "\n\nARCHITECTURE %s OF %s IS\n\n", arch_name, entityname); |
||
| 675 | /* not allowed to have generics at the top level so put them here */ |
||
| 676 | list_VHDL_constants (f, &partition_generics); |
||
| 677 | |||
| 678 | list_VHDL_constants (f, &global_generics); |
||
| 679 | /* clear type seen flags on all socket templates = components */ |
||
| 680 | clr_type_seen (); |
||
| 681 | |||
| 682 | skt = socket_head; |
||
| 683 | /* list out templates for those sockets selected */ |
||
| 684 | while (skt) |
||
| 685 | { |
||
| 686 | if (skt->is_external && skt->highest_bundle == 0) |
||
| 687 | { |
||
| 688 | /* suppress printout of duplicate components .... */ |
||
| 689 | if (skt->template_socket) |
||
| 690 | { |
||
| 691 | if (skt->template_socket->socket_type_seen == 0) |
||
| 692 | { |
||
| 693 | print_VHDL_component (f, skt->template_socket, 0); |
||
| 694 | skt->template_socket->socket_type_seen = 1; |
||
| 695 | } |
||
| 696 | } |
||
| 697 | else |
||
| 698 | /* no components, use socket/entity as its own component */ |
||
| 699 | print_VHDL_component (f, skt, 0); |
||
| 700 | } |
||
| 701 | skt = skt->next; |
||
| 702 | } |
||
| 703 | |||
| 704 | print_VHDL_sigs (f); |
||
| 705 | fprintf (f, "\n\nBEGIN\n\n"); |
||
| 706 | skt = socket_head; |
||
| 707 | while (skt) |
||
| 708 | { |
||
| 709 | if (skt->is_external && skt->highest_bundle == 0) |
||
| 710 | print_VHDL_instance (f, skt, 0); |
||
| 711 | skt = skt->next; |
||
| 712 | } |
||
| 713 | print_VHDL_assignments (f); |
||
| 714 | fprintf (f, "END %s;\n\n", arch_name); |
||
| 715 | } |
||
| 716 | |||
| 717 | /* ********************************************************************** */ |
||
| 718 | /* generate a VHDL file */ |
||
| 719 | /* ********************************************************************** */ |
||
| 720 | |||
| 721 | void produce_VHDL (FILE *f, char *entityname, char *template) |
||
| 722 | { |
||
| 723 | char linebuff[256]; |
||
| 724 | int done_entity = 0, done_architecture = 0; |
||
| 725 | if (!template || !template[0]) |
||
| 726 | { /* check null pointer or empty string */ |
||
| 727 | fprintf (f, "-- vertical vhdl\n"); |
||
| 728 | print_header (f, "WRITE VHDL"); |
||
| 729 | print_VHDL_libs (f); |
||
| 730 | fprintf (f, "\n-- vertical read_off\n"); |
||
| 731 | print_VHDL_entity (f, entityname); |
||
| 732 | fprintf (f, "\n-- vertical read_on\n"); |
||
| 733 | print_VHDL_libs (f); |
||
| 734 | print_VHDL_architecture (f, entityname); |
||
| 735 | fprintf (f, "\n-- vertical end;\n"); |
||
| 736 | } |
||
| 737 | else |
||
| 738 | { /* there is a template file */ |
||
| 739 | FILE *tp; |
||
| 740 | tp = fopen (template, "r"); |
||
| 741 | if (tp) |
||
| 742 | { |
||
| 743 | fprintf (f, "-- vertical vhdl\n"); |
||
| 744 | print_header (f, "WRITE VHDL"); |
||
| 745 | fprintf (f, "-- Using template '%s'\n", template); |
||
| 746 | while (!feof (tp)) |
||
| 747 | { |
||
| 748 | if (fgets (linebuff, 256, tp)) |
||
| 749 | { |
||
| 750 | if (strstr (linebuff, "$ENT")) |
||
| 751 | { |
||
| 752 | fprintf (f, "\n-- vertical read_off\n"); |
||
| 753 | print_VHDL_entity (f, entityname); |
||
| 754 | fprintf (f, "\n-- vertical read_on\n"); |
||
| 755 | done_entity++; |
||
| 756 | } |
||
| 757 | else if (strstr (linebuff, "$ARCH")) |
||
| 758 | { |
||
| 759 | print_VHDL_architecture (f, entityname); |
||
| 760 | done_architecture++; |
||
| 761 | } |
||
| 762 | else |
||
| 763 | fprintf (f, "%s", linebuff); /* it already has |
||
| 764 | a '\n' on the |
||
| 765 | end */ |
||
| 766 | } |
||
| 767 | } |
||
| 768 | fprintf (f, "\n-- vertical end;\n"); |
||
| 769 | fclose (tp); |
||
| 770 | if (done_entity != 1) |
||
| 771 | Log ( |
||
| 772 | LOG_ERROR, |
||
| 773 | "-- Error: %d $ENT$ tags counted in template '%s'\n", |
||
| 774 | template); |
||
| 775 | if (done_architecture != 1) |
||
| 776 | Log ( |
||
| 777 | LOG_ERROR, |
||
| 778 | "-- Error: %d $ARCH$ tags counted in template '%s'\n", |
||
| 779 | template); |
||
| 780 | } |
||
| 781 | else |
||
| 782 | Log ( |
||
| 783 | LOG_ERROR, |
||
| 784 | "-- Error: Cannot open VHDL template '%s'\n", |
||
| 785 | template); |
||
| 786 | } |
||
| 787 | } |