Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier

Browse the full FORTE paper archive.