Behavioral-level synthesis techniques have traditionally focussed on design of a fully-hardwired application-specific implementation of a given computation. In this paper, new techniques are presented for the synthesis of reconfigurable hardware. The technique is applicable for synthesis of several classes of designs, including: 1) design for fault tolerance against permanent faults, 2) design for improved manufacturability, and 3) design of Application Specific Programmable Processors (ASPPs) ? processors designed to perform any computation from a specified set on a single implementation platform. This paper focuses on design techniques for efficient Built-InSelf-Repair (BISR), and thus directly addresses the former two applications.