Jiaxing and Prof. Schirner attend DATE 2014 to present the Algo2Spec project and in particular the computation demand guided specification synthesis. It shows an interesting tradeoff between granularity (or mapping flexibility) and the efficiency of the resulting specification. Read more about this at the presented paper [1]. Congrats to Jiaxing for his paper.

References

1. J. Zhang and G. Schirner, Automatic Specification Granularity Tuning for Design Space Exploration, Proceedings of the ACM/IEEE Conference on Design, Automation & Test in Europe (DATE), Dresden, Germany, 03/2014
   
   • DOI
   • Google Scholar
   • BibTex
   • RIS