On the verification of state-coding in STGs

• Authors:

• K.-J. Lin;C.-S. Lin

• Affiliations:

• -;-

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