( ESNUG 483 Item 3 ) -------------------------------------------- [11/30/09]
Subject: Is 37 days the world's longest Formality production run?
From: Sanjay Sharma <sanjays=user domain=quartics got balm>
To: John Cooley <jcooley=user domain=zeroskew got balm>
Hi John,
Do you have the data for longest run time for Formality run and what was its
final result?
Formality on my current design has been running for 9 days, out of that
last 8 days, Formality is trying to verify the remaining 1%. Below log file
shows how many compare points are in the design:
Matching Results
272213 Compare points matched previously
0 Compare points matched by name
0 Compare points matched by signature analysis
0 Compare points matched by topology
16086 Matched primary inputs, black-box outputs
4(32424) Unmatched reference(implementation) compare points
0(0) Unmatched reference(implementation) primary inputs,
black-box outputs
21850(100) Unmatched reference(implementation) unread points
Unmatched Objects REF IMPL
Registers 4 32424
DFF 4 0
Clock-gate LAT 0 27902
Constant 0 0 40
Constant 1 0 4482
So far no aborts or failures. I would like to see the data for the world's
longest run time for Formality from other users.
- Sanjay Sharma
Quartics, Inc. Irvine, CA
---- ---- ---- ---- ---- ---- ----
From: Sanjay Sharma <sanjays=user domain=quartics got balm>
To: John Cooley <jcooley=user domain=zeroskew got balm>
Hi again, John,
Some more updates on my Formality run.
Still running for 27 days!!
0F/185A/271549P/479U (99%) 10/5/09 10:21 30627MB/2349290.81sec
0F/185A/271549P/479U (99%) 10/5/09 10:52 30627MB/2351124.55sec
0F/185A/271549P/479U (99%) 10/5/09 11:22 30627MB/2352925.63sec
Synopsys AE has filed a STAR for this case but I am still interested in more
data from other users.
- Sanjay Sharma
Quartics, Inc. Irvine, CA
---- ---- ---- ---- ---- ---- ----
From: John Cooley <jcooley=user domain=zeroskew got balm>
To: Sanjay Sharma <sanjays=user domain=quartics got balm>
Hi, Sanjay,
This is too funny! I'll run it in the next ESNUG. Keep me informed of any
changes, OK?
- John Cooley
DeepChip.com Holliston, MA
---- ---- ---- ---- ---- ---- ----
From: Sanjay Sharma <sanjays=user domain=quartics got balm>
To: John Cooley <jcooley=user domain=zeroskew got balm>
Hi, John,
It's finally finished after 37 days!!
0 Unverified compare points
Matched Compare Points BBPin Loop BBNet Cut Port DFF LAT TOTAL
Passing (equivalent) 35991 0 117 0 151 235510 78 271847
Failing (not equivalent) 0 0 0 0 0 0 0 0
Aborted
Hard (too complex) 0 0 0 0 0 366 0 366
Not Compared
Clock-gate LAT 20 20
Constant reg 4811 16964 21775
Unread 0 0 0 0 0 12621 29 12650
It had 366 aborts and 0 failures. Does anyone else have a longer Formality
production run?
- Sanjay Sharma
Quartics, Inc. Irvine, CA
Join
Index
Next->Item
|
|
