Problem in doing LEC of code containing CEIL

Status
Not open for further replies.
E

er.akhilkumar

Full Member level 2
Joined
Feb 1, 2011
Messages
122
Helped
4
Reputation
8
Reaction score
4
Trophy points
1,298
Location
Noida
Activity points
2,433
Hello All,

I have a code that contains CEIL and FLOOR usage as the design is generic, it is used as following:

CONSTANT A : natural := natural(CEIL(real(natural_parameter)/real(natural_parameter)));

Now in simulation code works fine but synthesis using dc_shell is also ok but when I try to load generated netlist to LEC tool it gives error...as real is un-synthesizable. Have you got any solution for this problem? In my code I cannot remove CEIL.


Thanx
 

If DC is supporting the CEIL construct, Formality also support the same. Use Formality for FV.

LEC is strict and wont support unsynthesizable constructs. Is real or CEIL is the problem in LEC?.

If you want to signoff with LEC, then need to change RTL code.
 
I am getting problem because of "real" construct but "real" is used in CEIL to assign value to constant. You said that if I want to signoff with LEC then I need to change the RTL. Can you suggest me which function can I use instead of CEIL or FLOOR?

Is there no other option other than changing the RTL?

Thanx
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…