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.

Help:why there are a lot of latched unmatched for formality

Status
Not open for further replies.

newcpu

Member level 4
Joined
Oct 30, 2005
Messages
76
Helped
2
Reputation
4
Reaction score
0
Trophy points
1,286
Activity points
1,818
When I run the formailty, there are a lot of latches unmatched in the reference RTL. When I search these latches in the netlist, there are no such latches indeed. Could anyone provide me some methods for debugging this problem?

Best Regards,
newcpu
 

You should read the manual of formailty, this is becase dff synthesis to two latch structure. So you should tell formailty how to deal with it .And i use conform, about this , command like:
set flatten model -latch_fold.
you can find some command like this at the manual of formailty

Added after 3 minutes:

Or anther answer is gate clock, synthesis add some latch to control gate clock , we should control those latch as gate , at conform :
set flatten model -latch_transparent.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top