A tool for automatic generation of self-checking data paths.

B. Hamdi, Hakim Bederr, Michael Nicolaidis

Browse the full VTS paper archive.