Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. - Muhammad Amjad Hafiz; Kai Hu 004; Jianwei Niu 002; Noor Khan; Loïc Besnard; Jean-Pierre Talpin (SKG, 2019)