Towards consistency checking between HDL and UPF descriptions.

Arthur Kalsing, Laurent Fesquet, Chouki Aktouf

Browse the full FDL paper archive.