fvm.drom2psl.generator module
Warning
Callables that are not documented in the Public API are not intented to be directly used and thus may change between minor versions.
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