13. A computer-readable storage medium storing instructions thereon for executing a method, the method for extracting a representation of a state machine from a high-level integrated circuit description language, the method comprising: parsing the high-level integrated circuit description language; identifying processes within the integrated circuit description language; determining whether an identified process is a clock process by performing a processor-based search for a condition that changes a state of the process on a clock transition; building a state machine based in part on the identified clock process; and outputting a state machine description.
13. A computer-readable storage medium storing instructions thereon for executing a method, the method for extracting a representation of a state machine from a high-level integrated circuit description language, the method comprising: parsing the high-level integrated circuit description language; identifying processes within the integrated circuit description language; determining whether an identified process is a clock process by performing a processor-based search for a condition that changes a state of the process on a clock transition; building a state machine based in part on the identified clock process; and outputting a state machine description. 22. The computer-readable storage medium of claim 13 , determining one or more transition processes by identifying a process that assigns a value to a next state variable.