11 citations · 14 across the 5 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2024
Formalising CXL Cache Coherence
Chengsong Tan, Alastair F. Donaldson, John Wickerson
We report our experience formally modelling and verifying CXL.cache, the inter-device cache coherence protocol of the Compute Express Link standard. We have used the Isabelle proof…
cs.AR2019
ARCHITECT: Arbitrary-precision Hardware with Digit Elision for Efficient Iterative Compute
He Li, James J. Davis, John Wickerson +1
Many algorithms feature an iterative loop that converges to the result of interest. The numerical operations in such algorithms are generally implemented using finite-precision ari…