FLASHLIGHT

We intend this workshop to provide a forum to bring these people together to share ideas. We hope that it will be valuable both to HLS experts who are interested in how formal methods could improve the correctness and efficiency of HLS tools, and to formal methods experts who would like to learn about HLS as an interesting and worthwhile application domain for their techniques... We believe that there is a considerable opportunity to improve the reliability of HLS tools, as well as the quality of the hardware designs they produce, through the application of formal methods. Formal methods include tools such as proof assistants, static analysers, and automatic verifiers, and also techniques such as formal semantics for specifying the source/target languages... First Workshop on Formal Methods in High-Level Synthesis.

Primary location: New York United States