DuRTL - Information Flow Analysis Tool for Register Transfer Level Hardware Designs.

Lutz Schammer, Gianluca Martino, Grschwin Fey

Browse the full VLSID paper archive.