fvm.drom2psl.generator module
Functions to actually convert the .json wavedroms into PSL sequences
- fvm.drom2psl.generator.format_arguments_suffix_implication(group_arguments)[source]
Returns the group arguments ready to parameterize an implication, for example: (addr, data)
- fvm.drom2psl.generator.format_group_arguments(group_arguments)[source]
Returns the group arguments with an extra semicolon that should be removed separately. Avoids duplicated arguments.
- fvm.drom2psl.generator.format_group_arguments_in_call(group_arguments)[source]
Returns the group arguments ready to parameterize a property or sequence, for example: (addr, data)
- fvm.drom2psl.generator.generator(filename, outdir=None, verbose_psl=True, debug=False, do_traverse=False)[source]
Actually generate the PSL file with the sequences
- Parameters:
filename (string) – input wavedrom file (JSON)
outdir (string) – output directory (if not specified, each .psl file will be generated in the same directory of each input file)
verbose_psl (bool) – add extra comments to generated psl file
debug (bool) – print debug messages
do_traverse (bool) – traverse the wavedrom file, printing structural debug information
- Returns:
0 if no errors detected, 1 if errors were detected, 2 if the dict extracted from the json file was empty
- Return type:
int