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…