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:20211208T164406Z
LOCATION:Level 2 - Exhibit Hall
DTSTART;TZID=America/Los_Angeles:20211206T170000
DTEND;TZID=America/Los_Angeles:20211206T180000
UID:dac_DAC 2021_sess249_DESPOST105@linklings.com
SUMMARY:CANCELLED: Beyond Lint
DESCRIPTION:Designer, IP and Embedded Systems Track Poster Networking Rece
 ption\n\nCANCELLED: Beyond Lint\n\nWalravens\n\nManagers often see verific
 ation as a necessary evil that consumes an outlandish portion of the overa
 ll project effort. Any means to reduce the verification effort, therefore,
  should be grasped with both hands. \nFormal consistency checks are one su
 ch means. In addition to reducing effort, they can come extremely cheap in
  terms of engineering hours required. Key here is to provide a framework t
 hat enables designers to quickly check their designs before moving to simu
 lation. In addition, a mechanism to create waivers that are not prone to c
 ode changes is necessary. Lastly, results must be reported concisely so th
 at any unexpected changes are immediately spotted. \nWe present a working 
 concept and novel TCL scripting that can be adopted in any Formal tool wit
 h TCL support.\n\nVirtual Program: Presented In-Person
END:VEVENT
END:VCALENDAR