Laurence Pierre, Zeineb Bel Hadj Amor. Automatic refinement of requirements for verification throughout the SoC design flow. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2013, Montreal, QC, Canada, September 29 - October 4, 2013. pages 1-10, IEEE, 2013. [doi]
Abstract is missing.