Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Specifying Hardware Communication as Programs
Ernest Ng, Nikil Shyamsunder, Francis Pham +2
To test and debug hardware modules, it is common to write two programs: a driver, which translates high-level transactions into interactions on the module's input and output signal…
cs.PL2024
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
Suppose we are given two OCaml modules implementing the same signature. How do we check that they are observationally equivalent -- that is, that they behave the same on all inputs…