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:20240626T180034Z
LOCATION:Level 2 Exhibit Hall
DTSTART;TZID=America/Los_Angeles:20240625T170000
DTEND;TZID=America/Los_Angeles:20240625T180000
UID:dac_DAC 2024_sess233_ETPOST063@linklings.com
SUMMARY:Formal Tool Kit – A quick setup solution for formal analysis
DESCRIPTION:Engineering Track Poster\n\nPhanindra Ramanujapuram and Rathna
 kar Madhukar Yerraguntla (NXP Semiconductors)\n\nFormal Verification is on
 e of the major focus areas in the recent days to minimize project cycle ti
 mes, faster coverage and easy plug and use models. With the increase in co
 mputing power and formal tools, the usage of formal in mainstream projects
  is increasing rapidly. Formal verification setup is done in 2 major steps
 : 1. Learning and setting up the specific application of any given formal 
 tool, writing specific input files for it, 2. Learning tool commands, writ
 ing assertions, Report analysis and debug. Step one requires prior knowled
 ge about each application, their use case and specific commands that are r
 equired to run it, which changes for each app. Step 2 requires the user a 
 new specific tool input file for every application he wants to run. Here w
 e are specifying a methodology Formal Tool Kit(FTK) for direct and easy se
 tup by introducing a custom format to give inputs which can be reused for 
 every app and tool the user intends to run. This in turn greatly reduces t
 he setup time taken by the user. FTK also provided additional tools for us
 er to analyze and organize reports for easier debug and reruns.\n\nTopic: 
 Back-End Design, Embedded Systems, Front-End Design, IP
END:VEVENT
END:VCALENDAR