Methodology for Separation of Design Concerns Using Conservative RTL Flipflop Inference