On the verification of state-coding in STGs.

Kuan-Jen Lin, Chen-Shang Lin

Browse the full ICCAD paper archive.