Settings.pm 29.7 KB
Newer Older
Christian Fibich's avatar
Christian Fibich committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#-------------------------------------------------------------------------------
#  University of Applied Sciences Technikum Wien
#
#  Department of Embedded Systems
#  http://embsys.technikum-wien.at
#
#  Josef Ressel Center for Verification of Embedded Computing Systems
#  http://vecs.technikum-wien.at
#
#-------------------------------------------------------------------------------
#  File:              Settings.pm
#  Created on:        16.02.2015
#  $LastChangedBy$
#  $LastChangedDate$
#
#  Description:
#
# Contains helper functions to deal with FIJI Settings files.
#-------------------------------------------------------------------------------

Christian Fibich's avatar
Christian Fibich committed
21
22
## @file Settings.pm
# @brief Contains class \ref FIJI::Settings
23

24
## @class FIJI::Settings
25
#
Christian Fibich's avatar
Christian Fibich committed
26
# @brief Contains helper functions to deal with FIJI Settings files.
27
28
package FIJI::Settings;

29
30
31
use strict;
use warnings;

32
use Scalar::Util 'blessed';
33
34
use Log::Log4perl qw(get_logger);
use Scalar::Util "looks_like_number";
35
36
37
use Data::Dumper;
use POSIX qw(ceil);
use List::Util qw(max);
38
use File::Spec;
39

Christian Fibich's avatar
Christian Fibich committed
40
use FIJI::ConfigSorted;
41
42
use FIJI qw(:all);

Christian Fibich's avatar
Christian Fibich committed
43
## @var @base_resources stores the resource count for default config
Christian Fibich's avatar
Christian Fibich committed
44
45
my @base_resources;

46
## @function public new ($phase, $fiji_ini_file, $existing_settings)
Stefan Tauner's avatar
Stefan Tauner committed
47
48
# Create a new settings instance.
#
Christian Fibich's avatar
Christian Fibich committed
49
50
51
# \param phase Tool flow phase the settings need to be compatible with.
# \param fiji_ini_file (optional) Path to the configuration file to read.
# \param existing_settings (optional) A reference to reuse and return
52
#        with values read from file. Any contained data will be cleared.
53
54
# \returns The new settings instance (or undef in the case of an error)
#          and a diagnostic string describing the reason why it could not be created (undef if successful)
55
sub new ($;$$) {
56
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
57
    my ($class, $phase, $fiji_ini_file, $existing_settings) = @_;
58
59
60
61

    my $fiji_settings_ref;

    # if there is no existing settings instance yet, create one
Christian Fibich's avatar
Christian Fibich committed
62
    if (!defined($existing_settings)) {
63
        $fiji_settings_ref = {};
Christian Fibich's avatar
Christian Fibich committed
64
        $fiji_settings_ref = bless($fiji_settings_ref, $class);
65
    } else {
66
67
        $fiji_settings_ref = $existing_settings;
    }
Christian Fibich's avatar
Christian Fibich committed
68
    if (!blessed($fiji_settings_ref) || !$fiji_settings_ref->isa("FIJI::Settings")) {
69
        my $msg;
Christian Fibich's avatar
Christian Fibich committed
70
        if (!defined($existing_settings)) {
71
72
73
74
75
            $msg = "Could not create FIJI::Settings instance.";
        } else {
            $msg = "Given settings are not of type FIJI::Settings.";
        }
        $logger->error($msg);
76
        return (undef, $msg);
77
78
    }

79
    my $warn;
80
    # If there is a file given, try to read it. Else just create a default instance.
Christian Fibich's avatar
Christian Fibich committed
81
    if (defined($fiji_ini_file)) {
82
83
84
        ($fiji_settings_ref, $warn) = read_settingsfile($phase, $fiji_ini_file, $fiji_settings_ref);
        if (!defined($fiji_settings_ref)) {
            return ($fiji_settings_ref, $warn);
85
        }
86
        $fiji_settings_ref->{'filename'} = $fiji_ini_file;
87
88
    } else {
        $fiji_settings_ref->{'design'} = {};
Christian Fibich's avatar
Christian Fibich committed
89
        _set_defaults(DESIGNMAP, $fiji_settings_ref->{'design'}, $phase);
90
        $fiji_settings_ref->{'fius'}     = [];
91
        $fiji_settings_ref->{'filename'} = File::Spec->curdir();
92
    }
Stefan Tauner's avatar
Stefan Tauner committed
93

94
    @base_resources = _est_resources(DESIGNMAP->{'FREQUENCY'}->{'default'}, DESIGNMAP->{'BAUDRATE'}->{'default'}, DESIGNMAP->{'TIMER_WIDTH'}->{'default'}, DESIGNMAP->{'RESET_DUT_IN_DURATION'}->{'default'}, DESIGNMAP->{'LFSR_WIDTH'}->{'default'}, 1, "logarithmic");
95

96
    return ($fiji_settings_ref, $warn);
97
}
Stefan Tauner's avatar
Stefan Tauner committed
98
99

sub _export_value {
100
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
101
    my ($map_ref, $k, $v_ref) = @_;
102

Christian Fibich's avatar
Christian Fibich committed
103
    if (defined($map_ref->{$k}->{'type'})) {
104
        my $orig = ${$v_ref};
105
        if ($map_ref->{$k}->{'type'} eq 'hexadecimal' || $map_ref->{$k}->{'type'} eq 'lfsrpoly') {
Christian Fibich's avatar
Christian Fibich committed
106
            ${$v_ref} = sprintf("0x%x", $orig);
107
108
109

            # } elsif ($map_ref->{$k}->{'type'} eq 'natural') {
            # } elsif ($map_ref->{$k}->{'type'} eq 'boolean') {
Christian Fibich's avatar
Christian Fibich committed
110
            $logger->trace("Converted value of $k (\"$orig\") to \"${$v_ref}\".") if ($orig ne ${$v_ref});
111
112
113
114
115
116
        } elsif ($map_ref->{$k}->{'type'} eq 'net') {
            # Due to an annoying behavior of Config::Simple we have to enclose
            # escaped identifiers with quotes. These are necessary to preserve spaces.
            if (substr($orig, -1) eq ' ') {
                ${$v_ref} = "\"$orig\"";
            }
117
118
        }
    }
119
120
}

121
## @method public save ($fiji_ini_file)
122
123
# @brief Store contained FIJI Settings to file.
#
Christian Fibich's avatar
Christian Fibich committed
124
# @attention Will happily overwrite existing files!
125
#
126
# @param fiji_ini_file The file name to write the FIJI Settings to.
Stefan Tauner's avatar
Stefan Tauner committed
127
sub save ($) {
128
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
129
    my ($self, $fiji_ini_file) = @_;
130
131
    return "No file name given" if !defined($fiji_ini_file);

Christian Fibich's avatar
Christian Fibich committed
132
    my $fiji_ini = new FIJI::ConfigSorted(syntax => 'ini');
133
134
    my $design_ref;
    my $fiu_cnt = 0;
Christian Fibich's avatar
Christian Fibich committed
135
    foreach my $key (keys %{$self}) {
136
        my $val = $self->{$key};
Christian Fibich's avatar
Christian Fibich committed
137
138
139
        if (ref(\$val) eq "REF") {
            if (ref($val) eq "HASH") {
                if ($key eq "design") {
140
141
142
                    $design_ref = $val;
                    next;
                }
Christian Fibich's avatar
Christian Fibich committed
143
144
145
            } elsif (ref($val) eq "ARRAY") {
                if ($key eq "fius") {
                    foreach my $fiu (@{$val}) {
146
147
                        my $ini_fiu;

Christian Fibich's avatar
Christian Fibich committed
148
                        foreach my $k (keys(%{$fiu})) {
149
                            my $ini_name = FIUMAP->{$k}->{'ini_name'};
Christian Fibich's avatar
Christian Fibich committed
150
                            if (!defined($fiu->{$k})) {
151
152
153
154
155
156
157
158
                                $logger->debug("Skip saving undefined value of FIU constant with key $ini_name.");
                                next;
                            }

                            # Copy value to new hash with external naming.
                            $ini_fiu->{$ini_name} = $fiu->{$k};

                            # Convert value to external representation
Christian Fibich's avatar
Christian Fibich committed
159
160
                            _export_value(FIUMAP, $k, \$ini_fiu->{$ini_name});
                            $logger->trace(sprintf("Exporting FIU%d setting %s -> %s (%s -> %s).", $fiu_cnt, $k, $ini_name, defined($fiu->{$k}) ? $fiu->{$k} : "undef", defined($ini_fiu->{$ini_name}) ? $ini_fiu->{$ini_name} : "undef"),);
161
                        }
Christian Fibich's avatar
Christian Fibich committed
162
                        $fiji_ini->set_block("FIU" . $fiu_cnt++, $ini_fiu);
163
164
165
                    }
                    next;
                }
166
            }
167
168
        } elsif ($key eq "filename") {
            next;
169
        }
170
171

        my $err = "Unknown element found in FIJI Settings: key: \"$key\" val: \"$val\"";
172
173
174
175
176
        $logger->error($err);
        return $err;
    }
    $design_ref->{'FIU_NUM'} = $fiu_cnt;
    my $ini_design;
Christian Fibich's avatar
Christian Fibich committed
177
    foreach my $k (keys(%{$design_ref})) {
178
        my $ini_name = DESIGNMAP->{$k}->{'ini_name'};
Christian Fibich's avatar
Christian Fibich committed
179
        if (!defined($design_ref->{$k})) {
180
181
182
183
184
185
            $logger->debug("Skip saving undefined value of design constant with key $ini_name.");
            next;
        }

        # Copy value to new hash with external naming.
        $ini_design->{$ini_name} = $design_ref->{$k};
186

187
        # Convert value to external representation
Christian Fibich's avatar
Christian Fibich committed
188
189
        _export_value(DESIGNMAP, $k, \$ini_design->{$ini_name});
        $logger->trace(sprintf("Exporting Design setting %s -> %s (%s -> %s).", $k, $ini_name, defined($design_ref->{$k}) ? $design_ref->{$k} : "undef", defined($ini_design->{$ini_name}) ? $ini_design->{$ini_name} : "undef"),);
190
    }
Christian Fibich's avatar
Christian Fibich committed
191
    $fiji_ini->set_block("CONSTS", $ini_design);
192

Christian Fibich's avatar
Christian Fibich committed
193
    if (!defined($fiji_ini->write($fiji_ini_file))) {
Christian Fibich's avatar
Christian Fibich committed
194
        my $err = FIJI::ConfigSorted->error();
195
196
197
        $logger->error($err);
        return $err;
    }
198
    $self->{'filename'} = $fiji_ini_file;
199
200
    return undef;
}
201

202
## @function public read_settingsfile ($phase, $fiji_ini_file)
203
# @brief Load the FIJI Settings file containing design and FIU constants.
204
#
205
# @param phase  Tool flow phase the settings stored in the given file
Stefan Tauner's avatar
Stefan Tauner committed
206
#               need to be compatible with.
207
# @param fiji_ini_file The name of an .ini file with FIJI Settings:
208
#         - a 'consts' block containing the constants specified by
Stefan Tauner's avatar
Stefan Tauner committed
209
#           \ref _sanitize_design.
210
211
212
#         - at least one FIU block named "FIU<number>" where "<number>"
#           is a strictly increasing integer starting with 0 containing
#           the constants for the respective FIU, see \ref _sanitize_fiu
213
#
214
215
# @returns a reference to the hash containing the read constants (or undef in the case of an error)
#          and a diagnostic string describing the reason why it could not be created (undef if successful)
216
sub read_settingsfile ($$$) {
217
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
218
    my ($phase, $fiji_ini_file, $existing_settings) = @_;
219
    my $fiji_ini;
Christian Fibich's avatar
Christian Fibich committed
220
    eval { $fiji_ini = new FIJI::ConfigSorted($fiji_ini_file) };    # pesky library tries to die on syntax errors
Christian Fibich's avatar
Christian Fibich committed
221
    if (!defined($fiji_ini)) {
Christian Fibich's avatar
Christian Fibich committed
222
        my $submsg = defined($@) ? $@ : FIJI::ConfigSorted->error();
Christian Fibich's avatar
Christian Fibich committed
223
        if (length($submsg) == 0) {
224
225
226
227
            $submsg = "Empty file?";
        }
        my $msg = "Could not read config file \"$fiji_ini_file\": $submsg";
        $logger->error($msg);
228
        return (undef, $msg);
229
230
231
    }

    my $design_ref = $fiji_ini->get_block("CONSTS");
Christian Fibich's avatar
Christian Fibich committed
232
    if (!(%$design_ref)) {
233
234
        my $msg = "Could not fetch CONSTS block from config file \"$fiji_ini_file\"";
        $logger->error($msg);
235
        return (undef, $msg);
236
    }
Christian Fibich's avatar
Christian Fibich committed
237
    _set_defaults(DESIGNMAP, $design_ref, $phase);
238

Christian Fibich's avatar
Christian Fibich committed
239
240
    $design_ref = _rename_import(DESIGNMAP, $design_ref);
    if (!defined($design_ref)) {
241
242
        my $msg = "Design constants do not match the FIJI Settings naming scheme.";
        $logger->error($msg);
243
        return (undef, $msg);
244
245
246
247
    }

    # Create a new instance or reuse the shallow hull of the existing one
    my $fiji_settings_ref;
Christian Fibich's avatar
Christian Fibich committed
248
    if (!defined($existing_settings)) {
249
        $fiji_settings_ref = {};
Christian Fibich's avatar
Christian Fibich committed
250
        bless($fiji_settings_ref, "FIJI::Settings");
Stefan Tauner's avatar
Stefan Tauner committed
251
    } else {
252
253
254
        $fiji_settings_ref = $existing_settings;

        # Clear the hash
Christian Fibich's avatar
Christian Fibich committed
255
        for (keys %$fiji_settings_ref) {
256
257
258
            delete $fiji_settings_ref->{$_};
        }
    }
Christian Fibich's avatar
Christian Fibich committed
259
    if (!blessed($fiji_settings_ref) || !$fiji_settings_ref->isa("FIJI::Settings")) {
260
        my $msg;
Christian Fibich's avatar
Christian Fibich committed
261
        if (!defined($existing_settings)) {
262
263
264
265
266
            $msg = "Could not create FIJI::Settings instance.";
        } else {
            $msg = "Given settings are not of type FIJI::Settings.";
        }
        $logger->error($msg);
267
        return (undef, $msg);
268
269
270
271
272
    }
    $fiji_settings_ref->{'design'} = $design_ref;
    $fiji_settings_ref->{'fius'}   = [];

    # sanitize and validate read design constants
Christian Fibich's avatar
Christian Fibich committed
273
274
    $design_ref = _sanitize_design($design_ref, $phase);
    if (!ref($design_ref)) {
275
        $logger->error($design_ref);
276
        return (undef, $design_ref);
277
278
279
    }

    my $fiu_num = 0;
280
281
    my $dup = {};
    my $warn;
282
283
    # loop over all read fius
    while (1) {
284

285
286
        my $fiu_name = "FIU" . $fiu_num;
        my $fiu_ref  = $fiji_ini->get_block($fiu_name);
Christian Fibich's avatar
Christian Fibich committed
287
        if (!(%$fiu_ref)) {
288
289
            last;
        }
Christian Fibich's avatar
Christian Fibich committed
290
291
        $fiu_ref = _rename_import(FIUMAP, $fiu_ref);
        if (!defined($design_ref)) {
292
293
            my $msg = "FIU constants of $fiu_name do not match the FIJI Settings naming scheme.";
            $logger->error($msg);
294
            return (undef, $msg);
295
296
297
        }

        my $tmp_fiu = {};
Christian Fibich's avatar
Christian Fibich committed
298
        _set_defaults(FIUMAP, $tmp_fiu, $phase);
299
300

        # overwrite default entries
Christian Fibich's avatar
Christian Fibich committed
301
        foreach my $k (keys(%{$fiu_ref})) {
302
303
304
305
            $tmp_fiu->{$k} = $fiu_ref->{$k};
        }
        $fiu_ref = $tmp_fiu;

Christian Fibich's avatar
Christian Fibich committed
306
307
        $fiu_ref = _sanitize_fiu($fiu_ref, $phase);
        if (!ref($fiu_ref)) {
308
309
            my $msg = "(Some) constants for $fiu_name in FIJI Settings are invalid.";
            $logger->error($msg);
310
            return (undef, $msg);
311
        }
312
313
314
315
316
317
318
319
320

        if (defined $dup->{$fiu_ref->{'FIU_NET_NAME'}}) {
            my $msg = "More than one FIU attached to ".$fiu_ref->{'FIU_NET_NAME'};
            $logger->error($msg);
            $warn .= $msg;
        } else {
            $dup->{$fiu_ref->{'FIU_NET_NAME'}} = 1;
        }

321
322
323
324
325
        $fiji_settings_ref->{'fius'}->[$fiu_num] = $fiu_ref;
        $fiu_num++;
        $logger->trace("Read in $fiu_name from FIJI Settings file successfully.");
    }

Christian Fibich's avatar
Christian Fibich committed
326
    if ($fiu_num == 0) {
327
328
329
330
331
        $logger->debug("Could not fetch any FIU blocks from config file \"$fiji_ini_file\"");
    }

    # FIU_NUM is optional in the Settings file... if it was set check that
    # it corresponds to the number of FIU<number> blocks.
Christian Fibich's avatar
Christian Fibich committed
332
    if (defined($design_ref->{'FIU_NUM'}) && $design_ref->{'FIU_NUM'} != $fiu_num) {
333
334
        my $msg = FIU_NUM->{'ini_name'} . " does not match the numbers of FIU blocks found.";
        $logger->error($msg);
335
        return (undef, $msg);
336
337
338
339
    } else {
        $design_ref->{'FIU_NUM'} = $fiu_num;    # assume the best if FIU_NUM constant is not given
    }

Christian Fibich's avatar
Christian Fibich committed
340
    splice(@{$fiji_settings_ref->{'fius'}}, $fiu_num);
341
    $logger->info("Successfully read in design constants and $fiu_num FIU definitions from FIJI Settings file \"$fiji_ini_file\".");
342
    return ($fiji_settings_ref, $warn);
343
344
}

345
## @method public set_fiu_defaults (%$fiu_ref)
346
347
348
# @brief Overwrite existing fields (if defined) with defaults defined in FIJI.pm.
#
sub set_fiu_defaults ($) {
Christian Fibich's avatar
Christian Fibich committed
349
350
    my ($self, $consts_ref) = @_;
    return _set_defaults(FIUMAP, $consts_ref);
Stefan Tauner's avatar
Stefan Tauner committed
351
352
353
354
355
}

## @function _set_defaults (%$map_ref, %$consts_ref)
# @brief Set defaults according to FIJI.pm.
sub _set_defaults {
356
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
357
358
359
    my ($map_ref, $consts_ref, $phase) = @_;
    foreach my $k (keys(%{$map_ref})) {
        if (exists($map_ref->{$k}->{'default'})) {
360

361
            # Set default only if it is not mandatory in the given phase.
Christian Fibich's avatar
Christian Fibich committed
362
            if (defined($phase) && scalar(grep { $_ eq $phase } @{$map_ref->{$k}->{'phases_opt'}}) == 0) {
363
364
365
366
                next;
            }

            # Also, do not overwrite existing values
Christian Fibich's avatar
Christian Fibich committed
367
            if (defined($consts_ref->{$k})) {
368
369
370
                next;
            }
            $consts_ref->{$k} = $map_ref->{$k}->{default};
Christian Fibich's avatar
Christian Fibich committed
371
            $logger->trace(sprintf("Adding default constant: %s (%s) = %s.", $k, $map_ref->{$k}->{'ini_name'}, $map_ref->{$k}->{default}));
372
373
374
        }
    }
}
375

Stefan Tauner's avatar
Stefan Tauner committed
376
sub validate_design_value {
Christian Fibich's avatar
Christian Fibich committed
377
378
    my ($k, $v_ref) = @_;
    return validate_value(DESIGNMAP, $k, $v_ref);
Stefan Tauner's avatar
Stefan Tauner committed
379
380
381
}

sub validate_fiu_value {
Christian Fibich's avatar
Christian Fibich committed
382
383
    my ($k, $v_ref) = @_;
    return validate_value(FIUMAP, $k, $v_ref);
Stefan Tauner's avatar
Stefan Tauner committed
384
385
}

386
387
388
389
390
391
## @function validate_value (%$map_ref, $k, $$v_ref, $old, $log_func)
#   Do validation (and conversation from external->internal representation)
#
#   \param map_ref  reference to FIJI Settings mappings
#   \param k        key identifying the respective setting
#   \param v_ref    scalar reference to the proposed value (that may be modified)
392
#   \param dep_ref    scalar reference to a value the proposed value depends on
393
394
395
#   \param old      (optional) previously valid value
#   \param log_func (optional) the (log4perl) log function to use
#                   (defaul is \&Log::Log4perl::Logger::trace)
396
sub validate_value {
397
    my $logger = get_logger("");
398
    my ($map_ref, $k, $v_ref, $dep_ref, $old, $log_func) = @_;
399
    $log_func = \&Log::Log4perl::Logger::trace if !defined($log_func);
Christian Fibich's avatar
Christian Fibich committed
400
    if (defined($map_ref->{$k}->{'type'})) {
401
402
        my $orig = ${$v_ref};

Christian Fibich's avatar
Christian Fibich committed
403
        # @FIXME: check if the constant is depending on another constant, that needs to be enabled.
404
405
406
407
        # my $dependency = @{$map_ref->{$k}->{'depends_on'}};
        # if (defined($dependency) && defined(@{$map_ref->{$dependency}->{'value'}}
        # }

Christian Fibich's avatar
Christian Fibich committed
408
409
        if ($map_ref->{$k}->{'type'} eq 'net') {
            # @TODO: check syntax? there is nothing more to do in here unless we supply allowed nets...
410
            # which is actually possible because the input netlist is stored in the settings as well
Christian Fibich's avatar
Christian Fibich committed
411
        } elsif ($map_ref->{$k}->{'type'} eq 'hexadecimal' || $map_ref->{$k}->{'type'} eq 'lfsrpoly') {
Christian Fibich's avatar
Christian Fibich committed
412
413
            if ($orig !~ /^(0|(0[xX][[:xdigit:]]+))$/) {
                $log_func->($logger, "$k: $orig does not look like a natural hexadecimal number.");
414
415
416
417
418
                return 0;
            }
            ${$v_ref} = hex($orig);

            # Check for natural value range. Should never trigger due to the regex above.
Christian Fibich's avatar
Christian Fibich committed
419
420
            if (${$v_ref} < 0) {
                $log_func->($logger, "$k: $orig is negative.");
421
422
                return 0;
            }
Christian Fibich's avatar
Christian Fibich committed
423
        } elsif ($map_ref->{$k}->{'type'} eq 'natural') {
424
425

            # Match hexadecimal, binary, octal and decimal numbers (the latter also in scientific notation)
Christian Fibich's avatar
Christian Fibich committed
426
427
            if ($orig !~ /^(0|(0(x[0-9a-fA-F]+|[0-7]+))|(0b[01]+)|([1-9][0-9]*(e(-[0-9])?[0-9]+)?))$/) {
                $log_func->($logger, "$k: $orig does not look like a number.");
428
429
430
431
432
                return 0;
            }

            # convert non-decimal (hexadecimal, binary, octal) values to decimal
            ${$v_ref} = oct($orig) if $orig =~ /^0/;
Christian Fibich's avatar
Christian Fibich committed
433
434
            if (!looks_like_number(${$v_ref})) {
                $log_func->($logger, "$k: $orig does not look like a number.");
435
436
                return 0;
            }
Stefan Tauner's avatar
Stefan Tauner committed
437

438
            # Check for natural value range. Should never trigger due to the regex above.
Christian Fibich's avatar
Christian Fibich committed
439
440
            if (${$v_ref} < 0) {
                $log_func->($logger, "$k: $orig is negative.");
441
442
                return 0;
            }
Christian Fibich's avatar
Christian Fibich committed
443
        } elsif ($map_ref->{$k}->{'type'} eq 'boolean') {
444
445

            # convert strings to binary if need be
Christian Fibich's avatar
Christian Fibich committed
446
447
            if (!defined($orig)) {
                $log_func->($logger, "$k: \"undef\" is not a boolean value.");
448
                return 0;
Christian Fibich's avatar
Christian Fibich committed
449
            } elsif (lc($orig) eq 'true') {
450
                $orig = 1;
Christian Fibich's avatar
Christian Fibich committed
451
            } elsif (lc($orig) eq 'false') {
452
453
                $orig = 0;
            }
Christian Fibich's avatar
Christian Fibich committed
454
455
            if (($orig ne '0') && ($orig ne '1')) {
                $log_func->($logger, "$k: \"$orig\" does not look like a boolean value.");
456
457
458
459
                return 0;
            }

            # ensure proper boolean value, i.e. 0 or 1
Christian Fibich's avatar
Christian Fibich committed
460
            ${$v_ref} = (!!$orig) ? 1 : 0;
461
        }
Christian Fibich's avatar
Christian Fibich committed
462
        $logger->trace("Converted value of $k (\"$orig\") to \"${$v_ref}\".") if (defined($orig) && $orig ne ${$v_ref});
463
464
    }

Christian Fibich's avatar
Christian Fibich committed
465
    if (defined($map_ref->{$k}->{'values'})) {
466
        my $values_ref = $map_ref->{$k}->{'values'};
467
468
469
470
471
        my $dep_val;
        if (ref $dep_ref eq 'SCALAR') {
            $dep_val = $dep_ref;
        }

Christian Fibich's avatar
Christian Fibich committed
472
        if (ref($values_ref) eq 'ARRAY') {
473
474

            # Look for given value in allowed values
Christian Fibich's avatar
Christian Fibich committed
475
476
            if (scalar(grep { $_ eq ${$v_ref} } @{$values_ref}) == 0) {
                $log_func->($logger, "$k: ${$v_ref} is not allowed. Allowed values are: " . join(", ", @{$map_ref->{$k}->{'values'}}));
477
478
                return 0;
            }
Christian Fibich's avatar
Christian Fibich committed
479
        } elsif (ref($values_ref) eq 'CODE') {
480
            if (!$values_ref->(${$v_ref}, $old, $$dep_val)) {
Christian Fibich's avatar
Christian Fibich committed
481
                $log_func->($logger, "$k: ${$v_ref} is not allowed.");
482
483
484
485
486
487
                return 0;
            }
        }
    }
    return 1;
}
Stefan Tauner's avatar
Stefan Tauner committed
488
489
490
491

# @function _rename_import (%$map_ref, %$consts_ref)
# Rename and convert entries in consts_ref according to map_ref.
#
492
493
494
495
# This function takes a hash of FIJI Settings and converts its keys
# to the respective internal representation. This allows us to use different
# name representations in the external file than within the implementation.
#
Stefan Tauner's avatar
Stefan Tauner committed
496
497
498
#
# \returns $consts_ref, or undef on errors
sub _rename_import {
499
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
500
501
    my ($map_ref, $consts_ref) = @_;
    if (ref($consts_ref) ne 'HASH') {
502
503
504
        $logger->error("Parameter is not a reference to a hash (containing design constants).");
        return undef;
    }
505

506
507
    # Iterating over respective hash from FIJI.pm and rename the entries
    # to match our internal naming scheme.
Christian Fibich's avatar
Christian Fibich committed
508
    foreach my $k (keys(%{$map_ref})) {
509
        my $ini_name = $map_ref->{$k}->{'ini_name'};
Christian Fibich's avatar
Christian Fibich committed
510
        if (exists($consts_ref->{$ini_name}) && $ini_name ne $k) {
511
            $consts_ref->{$k} = $consts_ref->{$ini_name};
Christian Fibich's avatar
Christian Fibich committed
512
            $logger->trace(sprintf("Renaming Design setting %s -> %s (=%s).", $ini_name, $k, defined($consts_ref->{$ini_name}) ? $consts_ref->{$ini_name} : "undef"),);
513
514
515
            delete $consts_ref->{$ini_name};
        }
    }
Christian Fibich's avatar
Christian Fibich committed
516
517
518
    foreach my $entry_key (keys(%{$consts_ref})) {
        if (!exists($map_ref->{$entry_key})) {
            $logger->debug("Deleting unknown setting %s = %s.", $entry_key, $consts_ref->{$entry_key});
519
520
521
522
523
524
            delete $consts_ref->{$entry_key};
        }
    }

    return $consts_ref;
}
Stefan Tauner's avatar
Stefan Tauner committed
525

526
## @function _sanitize_fiu (%$fiu_ref, $phase)
527
528
# @brief Convert and sanity check FIJI Settings.
#
529
530
# \param fiu_ref a reference to a hash containing FIJI Settings for a
#                single FIU.
Christian Fibich's avatar
Christian Fibich committed
531
# \param phase   the current design phase
532
533
534
#
# \returns A new hash with all constants required in the FIU settings
#          in sanitized form, or undef on errors.
535
sub _sanitize_fiu {
536
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
537
538
    my ($fiu_ref, $phase) = @_;
    if (ref($fiu_ref) ne 'HASH') {
539
540
541
542
        my $msg = "Parameter is not a reference to a hash (containing FIU constants).";
        $logger->error($msg);
        return $msg;
    }
543

Christian Fibich's avatar
Christian Fibich committed
544
545
    $fiu_ref = _validate_hashmap(FIUMAP, $fiu_ref, $phase);
    if (!ref($fiu_ref)) {
546
547
548
        $logger->error("Could not validate Design Constants.");
        return $fiu_ref;
    }
Stefan Tauner's avatar
Stefan Tauner committed
549

550
    return $fiu_ref;
551
552
}

553
sub _disabled_via_dependency {
Christian Fibich's avatar
Christian Fibich committed
554
    my ($map_ref, $consts_ref, $k) = @_;
555
556
557
    my $dependency = $map_ref->{$k}->{'depends_on'};
    return defined($dependency) && !$consts_ref->{$dependency};
}
558

Christian Fibich's avatar
Christian Fibich committed
559
sub _validate_hashmap {
560
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
561
562
563
    my ($map_ref, $consts_ref, $phase) = @_;
    my @map_keys = keys(%{$map_ref});
    foreach my $entry_key (keys(%{$consts_ref})) {
564
565
566
        my $forbidden_by = $map_ref->{$entry_key}->{'forbidden_by'};
        my $ini_name     = $map_ref->{$entry_key}->{'ini_name'};

Christian Fibich's avatar
Christian Fibich committed
567
568
        if (!exists($map_ref->{$entry_key})) {
            $logger->debug("Deleting unknown setting %s = %s.", $entry_key, $consts_ref->{$entry_key});
569
570
            next;
        }
Stefan Tauner's avatar
Stefan Tauner committed
571

572
        @map_keys = grep { $_ ne $entry_key } @map_keys;    # mark constant key as done
Christian Fibich's avatar
Christian Fibich committed
573
574
575
576
        if (_disabled_via_dependency($map_ref, $consts_ref, $entry_key)) {
            $logger->debug(sprintf("Key %s is disabled via %s. Skipping validation.", $entry_key, $map_ref->{$entry_key}->{'depends_on'}));
        } elsif (!validate_value($map_ref, $entry_key, \$consts_ref->{$entry_key})) {
            my $msg = sprintf("%s = %s is invalid.", $entry_key, !defined($consts_ref->{$entry_key}) ? "<undef>" : $consts_ref->{$entry_key});
577
578
579
580
            $logger->error($msg);
            return $msg;
        }

Christian Fibich's avatar
Christian Fibich committed
581
        if (defined($forbidden_by) && $consts_ref->{$entry_key} && $consts_ref->{$forbidden_by}) {
582
583
584
585
            my $msg = "$entry_key is forbidden when $forbidden_by is enabled";
            $logger->error($msg);
            return $msg;
        }
Stefan Tauner's avatar
Stefan Tauner committed
586
    }
587

Christian Fibich's avatar
Christian Fibich committed
588
    if (!defined($phase)) {
589

590
591
592
593
594
        # If there is no phase we are creating an "empty" hash that has
        # all possible defaults set earlier already and the there is
        # nothing we can or should do here.
        return $consts_ref;
    }
595

596
597
598
599
600
    # Iterate over the constants defined in FIJI.pm that apparently are
    # not contained in $consts_ref.
    foreach my $k (@map_keys) {
        my $dependency = $map_ref->{$k}->{'depends_on'};
        if (
Christian Fibich's avatar
Christian Fibich committed
601
602
603
            scalar(grep { $_ eq $phase } @{$map_ref->{$k}->{'phases_opt'}}) == 0 &&    # mandatory in current phase
            !_disabled_via_dependency($map_ref, $consts_ref, $k)                       # no dependency or dependency is enabled
           )
604
605
606
607
608
609
610
        {
            my $msg = "$k is mandatory in phase $phase.";
            $logger->error($msg);
            return $msg;
        }

    }
Stefan Tauner's avatar
Stefan Tauner committed
611

Christian Fibich's avatar
Christian Fibich committed
612
    # @TODO: implement the same mechanism with forbidden_by
613
614
615

    return $consts_ref;
}
Stefan Tauner's avatar
Stefan Tauner committed
616

617
## @function _sanitize_design (%$consts_ref, $phase)
Stefan Tauner's avatar
Stefan Tauner committed
618
# @brief Sanity check FIJI Design Settings.
619
#
Stefan Tauner's avatar
Stefan Tauner committed
620
# The function deals with sanity checks for the values
621
# themselves. It checks for the following conditions:
622
623
624
#
#   - FIU_NUM: > 0
#   - FIU_CFG_BITS: > 0
625
#   - TIMER_WIDTH: > 0, <= 16
626
627
628
#   - ID: > 0, < 2^15-1
#   - BAUDRATE: > 0
#
629
# \param consts_ref a reference to a hash containing some design settings
Stefan Tauner's avatar
Stefan Tauner committed
630
# \param phase the tool flow phase that defines the rules to check against
631
#
Stefan Tauner's avatar
Stefan Tauner committed
632
# \returns The given hash with all constants required in the design
633
#          settings in sanitized form, or an error message.
Stefan Tauner's avatar
Stefan Tauner committed
634
sub _sanitize_design {
635
    my $logger = get_logger("");
Christian Fibich's avatar
Christian Fibich committed
636
637
    my ($consts_ref, $phase) = @_;
    if (ref($consts_ref) ne 'HASH') {
638
639
640
641
642
643
        my $msg = "Parameter is not a reference to a hash (containing design constants).";
        $logger->error($msg);
        return $msg;
    }

    # check for sane values
Christian Fibich's avatar
Christian Fibich committed
644
645
    $consts_ref = _validate_hashmap(DESIGNMAP, $consts_ref, $phase);
    if (!ref($consts_ref)) {
646
647
648
649
650
        my $msg = "Could not validate Design Constants.";
        $logger->error($msg);
        return "$msg $consts_ref";
    }

Christian Fibich's avatar
Christian Fibich committed
651
    if (($consts_ref->{'FIU_CFG_BITS'} <= 0)) {
652
653
654
655
        my $msg = "FIU_CFG_BITS is <= 0.";
        $logger->error($msg);
        return $msg;
    }
Christian Fibich's avatar
Christian Fibich committed
656
    if (($consts_ref->{'TIMER_WIDTH'} <= 0) || ($consts_ref->{'TIMER_WIDTH'} > 16)) {
657
658
659
660
        my $msg = "TIMER_WIDTH is invalid ($consts_ref->{'TIMER_WIDTH'}).";
        $logger->error($msg);
        return $msg;
    }
Christian Fibich's avatar
Christian Fibich committed
661
    if (defined($consts_ref->{'ID'}) && ($consts_ref->{ID} < 0 || $consts_ref->{ID} > (2**16 - 1))) {
662
663
664
665
        my $msg = "ID is invalid ($consts_ref->{ID}).";
        $logger->error($msg);
        return $msg;
    }
Christian Fibich's avatar
Christian Fibich committed
666
    if (($consts_ref->{'BAUDRATE'} <= 0)) {
667
668
669
670
671
672
        my $msg = "BAUDRATE missing is <= 0.";
        $logger->error($msg);
        return $msg;
    }

    return $consts_ref;
673
674
}

675
676
sub _log2 {
    my $val = shift;
Christian Fibich's avatar
Christian Fibich committed
677
    return ($val > 0) ? (log($val) / log(2)) : 0;
678
679
}

680
681
## @function private _est_resources ($FREQUENCY, $BAUD, $TIMER_WIDTH, $RESET_CYCLES, $LFSR_WIDTH, $FIU_NUM, $algo)
# @brief estimates the number of Registers and LUTs to implement FIJI logic with the given settings
Christian Fibich's avatar
Christian Fibich committed
682
#
683
684
685
686
687
# The function ant its parameters were determined by experiment & fitted by scipy.optimize.curve_fit
#
# @param FREQUENCY      the clock frequency the FIJI logic will run at in Hz
# @param BAUD           the baud rate for DUT <-> FIJI communication
# @param TIMER_WIDTH    the width of the injection timer (durations) in Bytes
Christian Fibich's avatar
Christian Fibich committed
688
# @param RESET_CYCLES   the number of cycles to apply a FIJI-to-DUT reset
689
# @param LFSR_WIDTH     width of the LFSR used for stuck-open emulation
Christian Fibich's avatar
Christian Fibich committed
690
# @param FIU_NUM        the number of FIUs in the configuration
691
692
693
#
# @returns ($registers, $lutsum)

Christian Fibich's avatar
Christian Fibich committed
694
sub _est_resources {
695
    my $logger = get_logger("");
696
    my ($FREQUENCY, $BAUD, $TIMER_WIDTH, $RESET_CYCLES, $LFSR_WIDTH, $FIU_NUM) = @_;
Christian Fibich's avatar
Christian Fibich committed
697

Christian Fibich's avatar
Christian Fibich committed
698
    # @FIXME where do we put these values? they are likely to change if the VHDL
699
700
    # source is changed...

Christian Fibich's avatar
Christian Fibich committed
701
702
    my $registers;
    my $lut6;
703
    my $out_of_range = [];
Christian Fibich's avatar
Christian Fibich committed
704

705
706
707
708
    if ($FREQUENCY < 1000000 || $FREQUENCY > 500000000) {
        $logger->debug("FREQUENCY $FREQUENCY out of range for correct resource estimation (1000000 - 500000000)");
        push @{$out_of_range}, "FREQUENCY";
    }
Christian Fibich's avatar
Christian Fibich committed
709
    if ($BAUD < 9600 || $BAUD > 3000000) {
710
711
712
        $logger->debug("BAUD $BAUD out of range for correct resource estimation (9600 - 3000000)");
        push @{$out_of_range}, "BAUD";
    }
Christian Fibich's avatar
Christian Fibich committed
713
    if ($TIMER_WIDTH < 1 || $TIMER_WIDTH > 8) {
714
715
716
        $logger->debug("TIMER_WIDTH $TIMER_WIDTH out of range for correct resource estimation (1 - 8)");
        push @{$out_of_range}, "TIMER_WIDTH";
    }
Christian Fibich's avatar
Christian Fibich committed
717
    if ($RESET_CYCLES < 1 || $RESET_CYCLES > 16) {
718
719
720
        $logger->debug("RESET_CYCLES $RESET_CYCLES out of range for correct resource estimation (1 - 16)");
        push @{$out_of_range}, "RESET_CYCLES";
    }
Christian Fibich's avatar
Christian Fibich committed
721
    if ($LFSR_WIDTH < 16 || $LFSR_WIDTH > 64) {
722
723
724
        $logger->debug("LFSR_WIDTH $LFSR_WIDTH out of range for correct resource estimation (16 - 64)");
        push @{$out_of_range}, "RESET_CYCLES";
    }
Christian Fibich's avatar
Christian Fibich committed
725
    if ($FIU_NUM < 1 || $FIU_NUM > 64) {
726
727
728
        $logger->debug("FIU_NUM $FIU_NUM out of range for correct resource estimation (1 - 64)");
        push @{$out_of_range}, "FIU_NUM";
    }
729

730
    $registers = 8769408455.04;
Christian Fibich's avatar
Christian Fibich committed
731
732
733
734
735
736
    $registers += (3.16525787254e-08) * ($FREQUENCY) +    (-8063276676.79) * (2**(-1.60957863771e-17 * $FREQUENCY));
    $registers += (0.000329011902135) * ($BAUD) +         (-705457194.107) * (2**(7.38032560255e-13 * $BAUD));
    $registers += (86.8258719199) *     ($TIMER_WIDTH) +  (-424084.540754) * (2**(0.000218517717305 * $TIMER_WIDTH));
    $registers += (5.02154556118) *     ($RESET_CYCLES) + (51167.4447102) *  (2**(-0.000135580209031 * $RESET_CYCLES));
    $registers += (-5.30893252274) *    ($LFSR_WIDTH) +   (-301970.077109) * (2**(-2.99010866996e-05 * $LFSR_WIDTH));
    $registers += (13.746880792) *      ($FIU_NUM) +      (437.305954808) *  (2**(-0.00583539664462 * $FIU_NUM));
737
738

    $lut6 = -1591399138.51;
Christian Fibich's avatar
Christian Fibich committed
739
740
741
742
743
744
    $lut6 += (5.65349933334e-06) * ($FREQUENCY) +    (-245548261.879) * (2**(3.26830064347e-14 * $FREQUENCY));
    $lut6 += (-0.0602788840594) *  ($BAUD) +         (1868596655.23) *  (2**(4.65257746085e-11 * $BAUD));
    $lut6 += (9.04974779295) *     ($TIMER_WIDTH) +  (-123738.805411) * (2**(7.77721022021e-07 * $TIMER_WIDTH));
    $lut6 += (0.156780025973) *    ($RESET_CYCLES) + (-176988.018256) * (2**(1e-08 * $RESET_CYCLES));
    $lut6 += (-1.88257966999) *    ($LFSR_WIDTH) +   (-31351130.663) *  (2**(-8.63995764468e-08 * $LFSR_WIDTH));
    $lut6 += (3.95693187928) *     ($FIU_NUM) +      (2718.76465806) *  (2**(-0.000895867386597 * $FIU_NUM));
745

746
    return ($registers, $lut6, $out_of_range);
Christian Fibich's avatar
Christian Fibich committed
747
748
}

749
750
## @function public estimate_resources ($settings_ref)
# @brief estimates the resources needed to implement the given settings
Christian Fibich's avatar
Christian Fibich committed
751
#
752
753
# @returns a hash with the members 'regs' and 'lut_calc'
#
754
sub estimate_resources {
755
    my $logger         = get_logger("");
756
    my ($settings_ref) = @_;
757
758
759
    my $consts_ref     = $settings_ref->{'design'};
    my $fiu_ref        = $settings_ref->{'fius'};
    my $fiu_num        = @{$fiu_ref};
Christian Fibich's avatar
Christian Fibich committed
760

Christian Fibich's avatar
Christian Fibich committed
761
    my @calcrv = _est_resources($consts_ref->{'FREQUENCY'}, $consts_ref->{'BAUDRATE'}, $consts_ref->{'TIMER_WIDTH'}, $consts_ref->{'RESET_DUT_IN_DURATION'}, $consts_ref->{'LFSR_WIDTH'}, $fiu_num, "logarithmic");
Christian Fibich's avatar
Christian Fibich committed
762

763
    my $rv = {
Christian Fibich's avatar
Christian Fibich committed
764
765
        regs         => sprintf("%.2f", $calcrv[0] / $base_resources[0]),
        lut_calc     => sprintf("%.2f", $calcrv[1] / $base_resources[1]),
766
        out_of_range => $calcrv[2],
767
    };
Christian Fibich's avatar
Christian Fibich committed
768

769
    $logger->debug("ESTIMATE: current config will need Base*$rv->{'regs'} registers and Base*$rv->{'lut_calc'} combinational resources");
770
771
772
    return $rv;
}

773
1;