Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev

Browse the full CADE paper archive.