Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems

点击翻译按钮获取中文摘要

Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:\r\nto significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and\r\nthe development of an innovative high-level programming environment that will include a language, associated design methodologies, compilation techniques, and run-time support that will make dynamic reconfigurable computing accessible to a wide community of potential users.\r\n