Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.

Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan

Browse the full FMCAD paper archive.