I'm having some trouble with getting RTL compiler to recognise more complex standard cells. I am trying to synthesize a simple binary counter with a T flip flop. For some reason the tool is unable to recognise the function of the T flip flop, which was characterized using Encounter Library Characterizer and a .lib file was written without any problems.
The flip flop also posesses a second output with a combinational timing arc, which is used to enable subsequent T flip flops in a counter. RTL compiler gives some warning about multi-function cells and then fails to identify the function of the cell.
Is there any way to make RTL Compiler recognise these types of cells or will simpler cells have to be used? The more complex cells are required for area optimization.