The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.

Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama

Browse the full ICARCV paper archive.