luke
/
icestorm
mirror of https://github.com/YosysHQ/icestorm.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #149 from tomverbeure/seed 

icebram: add option to specify seed for repeatable outcomes.
This commit is contained in:
Clifford Wolf 2018-06-13 13:46:18 +02:00 committed by GitHub
parent 25cda32bb8 4943748512
commit bb0307a5ab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 25 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
icebram/icebram.cc
View File

@ -94,7 +94,7 @@ void help(const char *cmd)
{
printf("\n");
printf("Usage: %s [options] <from_hexfile> <to_hexfile>\n", cmd);
printf(" %s [options] -g <width> <depth>\n", cmd);
printf(" %s [options] -g [-s <seed>] <width> <depth>\n", cmd);
printf("\n");
printf("Replace BRAM initialization data in a .asc file. This can be used\n");
printf("for example to replace firmware images without re-running synthesis\n");
@ -105,6 +105,9 @@ void help(const char *cmd)
printf(" use this to generate the hex file used during synthesis, then\n");
printf(" use the same file as <from_hexfile> later.\n");
printf("\n");
printf(" -s <seed>\n");
printf(" seed random generator with fixed value.\n");
printf("\n");
printf(" -v\n");
printf(" verbose output\n");
printf("\n");
@ -127,9 +130,11 @@ int main(int argc, char **argv)
bool verbose = false;
bool generate = false;
bool seed = false;
uint32_t seed_nr = getpid();
int opt;
while ((opt = getopt(argc, argv, "vg")) != -1)
while ((opt = getopt(argc, argv, "vgs:")) != -1)
{
switch (opt)
{
@ -139,6 +144,10 @@ int main(int argc, char **argv)
case 'g':
generate = true;
break;
case 's':
seed = true;
seed_nr = atoi(optarg);
break;
default:
help(argv[0]);
}
@ -162,7 +171,10 @@ int main(int argc, char **argv)
exit(1);
}
x = uint64_t(getpid()) << 32;
if (verbose && seed)
fprintf(stderr, "Seed: %d\n", seed_nr);
x = uint64_t(seed_nr) << 32;
x ^= uint64_t(depth) << 16;
x ^= uint64_t(width) << 10;
@ -170,10 +182,16 @@ int main(int argc, char **argv)
xorshift64star();
xorshift64star();
struct timeval tv;
gettimeofday(&tv, NULL);
x ^= uint64_t(tv.tv_sec) << 20;
x ^= uint64_t(tv.tv_usec);
if (!seed){
struct timeval tv;
gettimeofday(&tv, NULL);
x ^= uint64_t(tv.tv_sec) << 20;
x ^= uint64_t(tv.tv_usec);
}
else {
x ^= uint64_t(seed) << 20;
x ^= uint64_t(seed);
}
xorshift64star();
xorshift64star();