I have two types of DFF in my library. How could I force design compiler to use a specific type of flip-flops for some registers?
For example for program counter, I intend to you type 1.
First synthesize the program counter keeping only type 1 cells in the target library. Then synthesize the entire design by adding type 2 cells also to the target library and placing a don't touch on program counter.
not sure - but i may be confused RC or DC have an attribute / command such as map_to_register and the required seq will be mapped to the specific reg libcell