RISC-V Sessions at DAC 2019 in Las Vegas

New Frontiers in Formal and Static Verification  Monday, June 3, 10:30 a.m. to Noon | N262 (Session 2) 2.4 Unbounded Formal Verification of RISC‑V CSRs with Interval Property Checking Speaker: Nicolae Tusinschi, OneSpin Solutions GmbH Authors: Nicolae Tusinschi and Sven Beyer, OneSpin Solutions GmbH  

Cooley’s DAC Troublemaker Panel

Monday, June 3, 3 p.m. to 4 p.m. | N250 Moderator: John Cooley, Deepchip Panelists: Joe Sawicki, Mentor, a Siemens Business; Joe Costello, Metrics Technology, Inc.; Naveed Sherwani, SiFive; Anirudh Devgan, Cadence Design Systems, Inc.; Mystery Guest  

RISC-V Core & SoC Compliance, Verification, Customization

Monday, June 3, 4 p.m. to 5 p.m. (Verification Academy Booth #617) Chair: Dennis Brophy, Mentor Speaker: Larry Lapides, Imperas Software  

Embedded Systems, Security, and Tool-chain

Tuesday, June 4, 10:30 a.m. to Noon | N262 (Session 18) Chair: Natraj Ekambaram, NXP Semiconductors 18.3: RISC-­V Software & Toolchain Speaker & Author: Palmer Dabbelt, SiFive, Inc.  

Open Source ISAs – Will the IP Industry Find Commercial Success?

Tuesday, June 4, 10:30 a.m. to Noon | N264 (Session 19) Moderator: Eric Dewannain, Samsung Semiconductor, Inc. Organizer: Randy Fish, UltraSoC Technologies Ltd. Panelists: Jerry Ardizzone, Codasip Ltd.; Bobe Simovich, Broadcom Corp.; Emerson Hsiao, Andes Technology Corp.; Steve Brightfield, Wave Computing; Kamakoti Veezhinathan, Indian Institute of Technology Madras  

Hardware Security 2.0: Towards Next-Generation Secure and Intelligent CPUs and SoCs

Tuesday, June 4, 1:30 p.m. to 3:00 p.m. | N261 (Session 27) 27.3: Protecting RISC-V against Side-Channel Attacks Speaker: Elke De Mulder, Rambus Cryptography Research Division Authors: Elke De Mulder, Samatha Gummalla and Michael Hutter, Rambus Cryptography Research Division  

IP to Secure Devices in a Hostile World

Tuesday, June 4, 1:30 p.m. to 3:00 p.m. | N264 (Session 29) Chair: Henning Spruth, NXP Semiconductors 29.2: Building a Complete IoT Security Solution with a Hardware Root of Trust Speaker & Author: Ben Levine, Rambus Inc.   29.3 Is There A Hole In Your Security Stack? Speaker & Author: Marco Ciaffi, Dover Microsystems, Inc.  

The Growing Ubiquity of Open Source Hardware and Software for Embedded Systems

Wednesday, June 5, 10:30 a.m. to Noon| N262 (Session 48) 48.1: Comparing RISC-V Open Source Implementations Speaker: Rishiyur Nikhil, Bluespec, Inc. Authors: Rishiyur Nikhil and Charlie Hauck Bluespec, Inc.   48.2: FreeRTOS for Microcontrollers and the IoT Speaker & Author: Richard Barry, Amazon Development Center  

RISC-V Opportunities and Challenges in an “Open” Technology Society

Wednesday, June 5, 2:00 p.m. to 2:45 p.m. | DAC Pavilion, Booth 871 Moderator: Ed Sperling, Semiconductor Engineering Organizer: Robert Oshana, NXP Semiconductors Panelists: Jerry Ardizzone, Codasip Ltd.; Rishiyur Nikhil, Bluespec, Inc.; Megan Wachs, SiFive, Inc.; Benjamin Levine, Rambus Security Division; Markus Levy, NXP Semiconductors  

Secure Open-Source Hardware: Hype or Reality?

Wednesday, June 5, 3:30 p.m. to 5:30 p.m. | N259 (Session 65) Moderator: Ahmad-Reza Sadeghi, Technische Univ. Organizer: Saverio Fazzari, Defense Advanced Research Projects Agency Panelists: Frank McKeen, Intel Corp.; Eric Keiter, Sandia National Laboratories; Nele Mentens, Katholieke Univ.; Larry Lapides, Imperas Software    ]]>