From: Ali, Mehbub [mailto:mehbub.ali@intel.com] Sent: Wednesday, January 13, 2016 7:08 PM To: Dmitry Korchemny Subject: RE: sv-ac Mantis grading Attached. From: Dmitry Korchemny [mailto:Dmitry.Korchemny@synopsys.com]<mailto:[mailto:Dmitry.Korchemny@synopsys.com]> Sent: Wednesday, January 13, 2016 9:01 AM To: Ali, Mehbub <mehbub.ali@intel.com<mailto:mehbub.ali@intel.com>> Subject: RE: sv-ac Mantis grading Hi Mehbub, Please update the Samik's Excel that I've forwarded recently. Thanks, Dmitry From: Ali, Mehbub [mailto:mehbub.ali@intel.com] Sent: Wednesday, January 13, 2016 6:43 PM To: Dmitry.Korchemny@synopsys.com<mailto:Dmitry.Korchemny@synopsys.com> Subject: sv-ac Mantis grading Hi Dmitry I just updated the https://docs.google.com/spreadsheets/d/1_BSZMkSDKRrCq16NafrBPuRfFeM2sugRwWfSh4yzsGI/edit?ts=56784792&pref=2&pli=1#gid=0. Up until now, I have been keeping my entries in a local Spreadsheet - did not know I was supposed to edit the google doc. Are my entries reflected in the google doc central copy? I did not fill-in 3 items due to lack of understanding. These are 2560, 3059, and 5194. Sorry for the last minute thrash. Mehbub ID Reporter Assigned To Priority Severity Product Version Date Submitted Updated Summary Status Resolution Reviewer 1 Reviewer 2 Accept 1 Accept 2 Importance 1 Importance 2 Effort 1 Effort 2 Type 1 Type 2 To address 1 To address 2 Comment 2367 Jonathan Bromley Dmitry Korchemny normal text P1800-2008/D4 4/23/2008 3/4/2011 Clarification: sampled-value functions are unaffected by disable-iff assigned open Dmitry Mehbub no yes low nice 0.1 1 Clarification Clarification yes yes 2560 Dmitry Korchemny user199 normal text P1800-2009/D8 Ballot 1/8/2009 3/4/2011 Inconsistent description of conditional property operators assigned open Ed Mehbub no no low no no vacuity defines it 2825 user199 user199 normal minor P1800-2009/D9 Recirc 7/23/2009 6/29/2010 16.16 Disable iff: checkers not included in list of default extensions assigned open Ed Mehbub yes yes high nice 2 1 Clarification yes yes 3059 John Havlicek Scott Little normal minor 1800-2009 4/27/2010 3/4/2011 Study PSL local variables and determine if any alignment is warranted. assigned open Samik Mehbub 3217 Surrendra Dudani Ed Cerny normal major 1800-2009 9/29/2010 3/4/2011 Definition for referring to an assertion as a relative hierarchical name is missing in Section 23.6 assigned open Ed Mehbub yes yes must must 7 5 Errata yes yes 4022 Dmitry Korchemny normal minor 1/22/2012 1/22/2012 Bad style assertion failure reporting in 16.14.2 Assume statement new open Dmitry Mehbub yes yes nice high 0.5 1 Enhancement yes yes 4173 Ben Cohen normal minor P1800-2012/D5 5/23/2012 11/27/2014 16.12, 17.3 clarify that range is bounded by constant expression new open Ben Mehbub yes yes high must 1 1 Clarification Clarification yes yes 4724 Dmitry Korchemny normal minor 8/16/2013 8/18/2013 Checkers should be mentioned in the description of Reactive region new open Dmitry Mehbub yes yes high high 0.5 1 Errata Errata yes yes 5056 Shalom Bresticker normal text 1800-2012 11/11/2014 11/11/2014 Syntax 16-5 title should be 'Sequence declaration syntax' new open Shalom Mehbub yes yes low low 0.1 0.5 Errata Enhancement yes yes trivial 5194 Daniel Mlynek normal text 1800-2012 2/5/2015 2/5/2015 $inferred_clock description should mention checkers and allowed types for $inferred_clock new open Samik Mehbub yes 5438 Ben Cohen normal minor 1800-2012 9/17/2015 12/16/2015 TYPO: Example has reference to an undeclared variable + missing () new open Ben Mehbub yes yes high high 0.1 0.5 Errata Errata yes yes
This archive was generated by hypermail 2.1.8 : Wed Jan 13 2016 - 09:09:16 PST