David Chisnall (*Now with 50% more sarcasm!*)
Contacting David Chisnall (*Now with 50% more sarcasm!*)
Federation handle:
@david_chisnall@infosec.exchange
David Chisnall (*Now with 50% more sarcasm!*)'s Information
David Chisnall (*Now with 50% more sarcasm!*)'s Bio
I am Director of System Architecture at SCI Semiconductor and a Visiting Researcher at the University of Cambridge Computer Laboratory. I remain actively involved in the #CHERI project, where I led the early language / compiler strand of the research, and am the maintainer of the #CHERIoT Platform.
I was on the FreeBSD Core Team for two terms, have been an LLVM developer since 2008, am the author of the GNUstep Objective-C runtime (libobjc2 and associated clang support), and am responsible for libcxxrt and the BSD-licensed device tree compiler.
Opinions expressed by me are not necessarily opinions. In all probability they are random ramblings and should be ignored. Failure to ignore may result in severe boredom and / or confusion. Shake well before opening. Keep refrigerated.
Warning: May contain greater than the recommended daily allowance of sarcasm.
David Chisnall (*Now with 50% more sarcasm!*)'s Posts
David Chisnall (*Now with 50% more sarcasm!*) has 3 posts.
David Chisnall (*Now with 50% more sarcasm!*)
In response to this post@NanoRaptor Side effects include sudden changes in appearance, personality, and sometimes gender.
Mentions: @NanoRaptor@bitbang.social
Likes: 0
Replies: 0
Boosts: 1
David Chisnall (*Now with 50% more sarcasm!*)
@gsuberland @timb_machine Ah, sorry. No, DV as in Design Verification (making sure the chip does what we think it does).
Likes: 0
Replies: 0
Boosts: 0
David Chisnall (*Now with 50% more sarcasm!*)
@gsuberland @timb_machine
We have some collaborations that have involved formal verification of the core, but there's more to be done on things the formal bits don't cover and there are other non-core things that need DV both at a component and an integration level. We're mostly interested in functional correctness for the DV. It's not really my area, so I'm a bit unsure (I do architecture and software, microarchitecture and back end is the other David's responsibility).
Likes: 0
Replies: 0
Boosts: 0