Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes.

Andr Seffrin, Alexander Biedermann, Sorin A. Huss

Browse the full FDL paper archive.