Markus Winterholer, Florian Schäfer: Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification.FDL2009: 1-4
Jun Ye, Tun Li, QingPing Tan: The application of Aspectual Feature Module in the development and verification of SystemC models.FDL2009: 1-6
Forum on specification and Design Languages, FDL 2009, September 22-24, 2009, Sophia Antipolis, France, Proceedings.IEEE2009, ISBN 978-2-9530504-1-7[contents]