Data organization in Hercules

A HardwareC model that is read by Houles is first translated into an abstract syntax tree representation called the Behavioral Intermediate Fwmat (BIF). The BIF is the underlying rq resentation for all behavioral transformations performed in Hercules. The data models in the system are organized into three levels  

For each instance entry, Hercules can generates a corresponding SIF model. Therefore, an instance can be mapped to one or mwe SIF models, with each SIF model corresponding to a particular configuration of usa-driven behavi al transformations that was performed on the model. For example, consider a procedure Main that calls a function Func. If the calling hierarchy is unchanged, then a default SIF model is created. If the call to Func is in-line expanded, then the resulting SIF model would be different. 

---