BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
X-LIC-LOCATION:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20240626T180033Z
LOCATION:Level 2 Exhibit Hall
DTSTART;TZID=America/Los_Angeles:20240625T170000
DTEND;TZID=America/Los_Angeles:20240625T180000
UID:dac_DAC 2024_sess233_ETPOST106@linklings.com
SUMMARY:Challenges Faced in Formal Based MSI: Tackle Formal Problem with a
  Formal Solution
DESCRIPTION:Engineering Track Poster\n\nAbhinav Parashar and Ayush Jodh (T
 exas Instruments (India) Pvt. Ltd.), Parthasarathy Ramesh (Texas Instrumen
 ts), Harish Maruthiyodan (Texas Instruments (India) Pvt. Ltd.), and Gaurav
  Varshney (Texas Instruments)\n\nMetastability Injection (MSI) in the N-st
 age synchronisers for the synchronised paths, is the need essential to ver
 ify the robustness of the design against the uncertainties associated with
  the stability of synchroniser output. Although there are multiple ways to
  solve this, one of them being Jasper MSI utility which can be exported to
  inject metastability on the injection points identified during the CDC/RD
 C analysis cycle. But this solution comes with the challenges to completel
 y close on the coverage metrics. As the number of synchronisers increases,
  number of such cover points also increases. Now, if we try to use the abo
 ve method to prove that the convergence problems seen in analysis phase ar
 e safe, then we need to ensure 100% cross coverage of the synchronised pat
 hs which will blast exponentially as number of converging synchroniser pat
 hs increases in the design. Proposing how to combat the CDC tool problem w
 ith alternative approach of using FPV and SEC Apps for better sign off.\n\
 nTopic: Back-End Design, Embedded Systems, Front-End Design, IP
END:VEVENT
END:VCALENDAR