OpenCores
URL https://opencores.org/ocsvn/eco32/eco32/trunk

Subversion Repositories eco32

[/] [eco32/] [trunk/] [tools/] [bit2mcs/] [bit2mcs.c] - Rev 273

Go to most recent revision | Compare with Previous | Blame | View Log

/*
 * bit2mcs.c -- convert Xilinx bitfile data to Intel hex records
 */
 
 
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdarg.h>
 
 
unsigned char bitHeader[13] = {
  0x00, 0x09, 0x0F, 0xF0,
  0x0F, 0xF0, 0x0F, 0xF0,
  0x0F, 0xF0, 0x00, 0x00,
  0x01
};
 
 
void error(char *fmt, ...) {
  va_list ap;
 
  va_start(ap, fmt);
  printf("Error: ");
  vprintf(fmt, ap);
  printf("\n");
  va_end(ap);
  exit(1);
}
 
 
unsigned int getCount2(FILE *infile) {
  unsigned char b1, b2;
 
  b1 = fgetc(infile);
  b2 = fgetc(infile);
  return ((unsigned int) b1 << 8) | (unsigned int) b2;
}
 
 
unsigned int getCount4(FILE *infile) {
  unsigned char b1, b2, b3, b4;
 
  b1 = fgetc(infile);
  b2 = fgetc(infile);
  b3 = fgetc(infile);
  b4 = fgetc(infile);
  return ((unsigned int) b1 << 24) | ((unsigned int) b2 << 16) |
         ((unsigned int) b3 <<  8) | ((unsigned int) b4 <<  0);
}
 
 
void show(char *name, FILE *infile, int count) {
  int c;
 
  printf("%s", name);
  while (count--) {
    c = fgetc(infile);
    if (c >= 0x20 && c <= 0x7E) {
      printf("%c", c);
    }
  }
  printf("\n");
}
 
 
unsigned char mirror(unsigned char n) {
  unsigned char m;
  int i;
 
  m = 0;
  for (i = 0; i < 8; i++) {
    m <<= 1;
    if (n & 1) {
      m |= 1;
    }
    n >>= 1;
  }
  return m;
}
 
 
int main(int argc, char *argv[]) {
  char *endptr;
  unsigned int loadAddr;
  FILE *infile;
  FILE *outfile;
  int numBytes, i;
  int c;
  unsigned char lineData[16];
  unsigned int chksum;
  int totalBytes;
 
  if (argc != 4) {
    printf("Usage: %s <load addr, hex> <input file> <output file>\n",
           argv[0]);
    exit(1);
  }
  loadAddr = strtoul(argv[1], &endptr, 16);
  if (*endptr != '\0') {
    error("illegal load address %s", argv[1]);
  }
  infile = fopen(argv[2], "rb");
  if (infile == NULL) {
    error("cannot open input file %s", argv[2]);
  }
  outfile = fopen(argv[3], "wt");
  if (outfile == NULL) {
    error("cannot open output file %s", argv[3]);
  }
  /* 13 bytes header */
  for (i = 0; i < 13; i++) {
    if (fgetc(infile) != bitHeader[i]) {
      error("input file header is not a '.bit' header");
    }
  }
  /* section 'a' */
  if (fgetc(infile) != 'a') {
    error("section 'a' not found");
  }
  i = getCount2(infile);
  show("design name:\t\t", infile, i);
  /* section 'b' */
  if (fgetc(infile) != 'b') {
    error("section 'b' not found");
  }
  i = getCount2(infile);
  show("part name:\t\t", infile, i);
  /* section 'c' */
  if (fgetc(infile) != 'c') {
    error("section 'c' not found");
  }
  i = getCount2(infile);
  show("creation date:\t\t", infile, i);
  /* section 'd' */
  if (fgetc(infile) != 'd') {
    error("section 'd' not found");
  }
  i = getCount2(infile);
  show("creation time:\t\t", infile, i);
  /* section 'e' */
  if (fgetc(infile) != 'e') {
    error("section 'e' not found");
  }
  i = getCount4(infile);
  printf("bit stream size:\t0x%08X\n", i);
  totalBytes = 0;
  while (1) {
    if ((loadAddr & 0xFFFF) == 0) {
      fprintf(outfile, ":02000004");
      fprintf(outfile, "%04X", loadAddr >> 16);
      chksum = 0x02 + 0x04 +
               ((loadAddr >> 24) & 0xFF) +
               ((loadAddr >> 16) & 0xFF);
      fprintf(outfile, "%02X\n", (-chksum) & 0xFF);
    }
    chksum = 0;
    for (numBytes = 0; numBytes < 16; numBytes++) {
      c = fgetc(infile);
      if (c == EOF) {
        break;
      }
      c = mirror(c & 0xFF);
      lineData[numBytes] = c;
      chksum += c;
    }
    if (numBytes == 0) {
      break;
    }
    totalBytes += numBytes;
    fprintf(outfile, ":%02X%04X00", numBytes, loadAddr & 0xFFFF);
    for (i = 0; i < numBytes; i++) {
      fprintf(outfile, "%02X", lineData[i]);
    }
    chksum += numBytes;
    chksum += ((loadAddr >> 8) & 0xFF) +
              ((loadAddr >> 0) & 0xFF);
    fprintf(outfile, "%02X\n", (-chksum) & 0xFF);
    loadAddr += numBytes;
    if (c == EOF) {
      break;
    }
  }
  fprintf(outfile, ":00000001FF\n");
  fclose(infile);
  fclose(outfile);
  printf("bytes converted:\t0x%08X\n", totalBytes);
  return 0;
}
 

Go to most recent revision | Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.