Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronic 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

How to verify whether the RAM model is correct?

Status
Not open for further replies.

loka99c

Newbie level 3
Joined
Jan 5, 2011
Messages
3
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
1,304
hi,

In my design the verilog model of RAM. This model is only a behavior model and it aims to make the design functionally work. For synthesis, another ram model is used to replace this verilog model. The problem I'm facing is how to verify whether the synthesis ram model (real ram code) has the same behavior as the verilog model? If there are mismatches, the design will have faults when use the real ram model.

I think the following approaches can work for this:
* netlist simulation ----> drawback is could be time consuming, and can only run a limited number of tests
* run simulation with design RTL + synthesis ram code ----> drawback is only run a limited number of tests

Both the two approaches cannot provide sufficient testing vs. ram behavior model vs. synthesis model. Do you have better suggestions? Would formal equivalence checking or formal verification approaches help on this?

Thanks.
 

rca

Advanced Member level 4
Joined
May 20, 2010
Messages
1,485
Helped
354
Reputation
708
Reaction score
326
Trophy points
1,363
Location
Marin
Activity points
8,522
Well for simulation, the verilog RAM model are usually quite simple to understand and to check versus the data sheet.
Could you clarify which RAM verilog model you used for synthesis? the synthesis tool need a liberty file, no?
And the liberty file is also "quite" simple. A liberty describe timing arc between i/o which also available on data sheet.

Which is your provider, perhap someone else have some experiences with?
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top