Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Data-to-data checks using RTL compiler

Status
Not open for further replies.

nirankul2003

Newbie level 3
Joined
Apr 13, 2011
Messages
4
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
1,313
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
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top