2019
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019