US6675359B2 - Recognition of a State Machine in High-Level Integrated Circuit Description Language Code