Using complex sequential modules in RTL synthesis

This paper presents a new method that enables our RTL-synthesis tool to use complex sequential modules such as counters, accumulators and shift-registers (CASRs). If the target library contains such modules, the method automatically recognizes them. If the RTL design contains patterns that can be implemented on CASR modules, the method maps them to the CASR modules found in the target library. This method leads to smaller and more regular designs, often with better timing characteristics.