Search for tag: "designers"

Thumbnail for SoA Lecture Series: 'Relatives" a lecture by Chris Cornelius (Oneida nation)

SoA Lecture Series: 'Relatives" a…

duration 1 hour 24 minutes

SoA Lecture Series: 'Relatives" a…

SoA Lecture Series: 'Relatives" a lecture by Chris Cornelius (Oneida nation)

SoA Lecture Series: 'Relatives" a lecture by Chris Cornelius (Oneida nation)

chris cornelius
indigenous architecture
architecture
things
thing
land
sort
place
piece
space
students
building
sky
deer
person
trees
moon
culture
stories
designers
nature
From  Broadcast Broadcast Center Staff 0 likes 1 plays
Date
April 15th, 2024
Speaker
Chris Cornelius
Department
SoA
Location
N101 Betts
Thumbnail for AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)

AutoSVA: Democratizing Formal Verification of…

duration 2 minutes 53 seconds

AutoSVA: Democratizing Formal Verification of…

AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)

AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)

In academia and particularly at Princeton we have research groups making chip designs into silicon. In the industry you would have dedicated engineers doing verification, both simulating tests and…

formal verification
hardware
autosva
silicon
debug
meltdown
spectre
prd21
verification
designers
engineers
properties
interface
model
test
students
models
trace
problem
grad
methods
industry
chip
academia
conference
dimension
From  Research Princeton Research Day 4 likes 203 plays
Speaker
Marcelo Vera, GS
Department
Computer Science