On the verification of state-coding in STGs

• Authors:

• Kuan-Jen Lin;Chen-Shang Lin

• Affiliations:

• Department of Electrical Engineering, National Taiwan University;-

• Venue:
• ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
• Year:
• 1992