We demonstrate FoREnSiC, an environment for automatic error detection, localization and correction in C programs specifying hardware on an abstract level. FoREnSiC implements various debugging methods with different advantages in a unified way. Currently, a scalable simulation-based back-end, a back-end based on symbolic execution, and a formal back-end to verify equivalence between a C program and a hardware design are available. FoREnSiC is also a framework for implementing new program analysis and debugging methods. Existing infrastructure such as a powerful front-end and interfaces to logic problem solvers can be reused. The development has been supported in part by the European Union through project DIAMOND, and by the Austrian Science Fund through the national research network RiSE.