nirankul2003
Newbie level 3
Hi
I have designed a sequential cell that computes a logic function. I want to use this cell as combinational cell because both its clock and data are generated independently (there is no global clock). Therefore I am using data-to-data setup check in RTL compiler.
I am able to let the tool know that such checks should be performed (i.e. "clock" signal must arrive after data inputs have arrived). I do it using "non_seq_setup_rising" attribute in the .lib file. RC understands and reports the violations but it doesn't seem to fix it (say using buffers). How can I make the tool fix these violations?
Regards
I have designed a sequential cell that computes a logic function. I want to use this cell as combinational cell because both its clock and data are generated independently (there is no global clock). Therefore I am using data-to-data setup check in RTL compiler.
I am able to let the tool know that such checks should be performed (i.e. "clock" signal must arrive after data inputs have arrived). I do it using "non_seq_setup_rising" attribute in the .lib file. RC understands and reports the violations but it doesn't seem to fix it (say using buffers). How can I make the tool fix these violations?
Regards