Translation Validation for Clock Transformations in a Synchronous Compiler.

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic

Browse the full FASE paper archive.