LUT based reconfigurability is being complemented with a new, emerging class of reconfigurable technology based on ALU and heterogeneous architectures. Moreover, existing FPGA technology has experienced recent advances that go beyond other implementation technologies such as DSP, ASIC or ASSP. Already deployed within the network infrastructure and application areas where performance, power and flexibility are principal, the migration of software-programmed hardware reconfigurability to the mobile computing domain is attractive. To enable this migration an advance in design automation is required where algorithms can be efficiently mapped to the computational fabric using software-programming techniques. In this paper we describe how digital circuits from software designs and formal executable specifications can be synthesized to reconfigurable architectures using higher-level languages and deterministic hardware compilation, or 'C-synthesis'. For context we provide an introduction and overview to reconfigurable architectures.