Classification of sequential circuits based on /spl tau//sup k/ notation | IEEE Conference Publication | IEEE Xplore