Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Alberto Manzone, Alessandro Pincetti. Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 385-389, IEEE Computer Society, 2000. [doi]
Abstract is missing.