Static Analysis for Hardware Design

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Beskrivelse

Implementing algorithms in hardware can be a substantial engineering challenge. Hardware accelerators for some algorithms may be a way to achieve better time and energy efficiency of the computational problems.
We explore some possible applications of static analysis in the design phase of construction hardware design for algorithms targeting field-programmable gate arrays (FPGA).

Drawing inspiration from Alan Mycroft's 2007 invited talk on static analysis and subsequent articles discussing the connection between hardware evolution, language design, and static analysis, we explore the usage of static analysis as a tool to facilitate the realization of hardware accelerators for algorithms.
We examine methodologies for analyzing communication and data flows within the hardware design, thereby enhancing our understanding of these aspects in the pursuit of efficient FPGA-based algorithm implementations.
Periode1 dec. 2023
BegivenhedstitelSymposium and festschrift to celebrate the work of Prof. Alan Mycroft
BegivenhedstypeSymposium
PlaceringCambridge, StorbritannienVis på kort
Grad af anerkendelseInternational