In order to make high performance reconfigurable computing systems (RCS) accessible to users from outside the RCS community, a high level language environment such as SA-C [8] is required, and the user?s debugging must take place at this level. To shield the user from debugging hardware, all stages of the compiler must be reliable and bug-free, hence verification is required for all of its stages. The SA-C compiler [5] generates a hardware-software co-design which incorporates components specific to the target RCS platform, such as buses, memories, and drivers which can not be tested independently. Bugs which only appear in the final co-design are often the hardest to address.