Engineering change protocols for behavioral and system synthesis

D. Kirovski, M. Drinic, M. Potkonjak
2005 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Rapid prototyping and development of in-circuit and FPGA-based emulators as key accelerators for fast time-to-market has resulted in a need for efficient error correction mechanisms. Fabricated or emulated prototypes upon error diagnosis require an effective engineering change (EC). We introduce a novel design methodology which consists of pre-and post-processing techniques that enable EC with minimal perturbation. Initially, in a synthesis preprocessing step, the original design specification
more » ... s augmented with additional design constraints which ensure flexibility for future correction. Upon alteration of the initial design, a new post-processing technique achieves the desired functionality with near-minimal perturbation of the initially optimized design. The key contribution is a constraint manipulation technique which enables the reduction of an arbitrary EC problem into its corresponding classical synthesis problem. As a result, in both preand post-processing for EC, classical synthesis algorithms can be used to enable flexibility and perform the correction process. We demonstrate the developed EC methodology on a set of behavioral and system synthesis tasks.
doi:10.1109/tcad.2005.850898 fatcat:lvugjgz3czclxjmhogjnf3covi