Continue to Site

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.

Register Log in

Problem in doing LEC of code containing CEIL

Status
Not open for further replies.
E

er.akhilkumar

Full Member level 2
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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top