%0 Journal Article %1 Corno:2005:ieeeP %A Corno, F. %A Sanchez, E. %A Reorda, M. S. %A Squillero, G. %D 2005 %J IEEE Potentials %K algorithms, genetic programming %N 1 %P 34--37 %R doi:10.1109/MP.2005.1405800 %T Automatic test generation for verifying microprocessors %V 24 %X A pipelined processor with a high-level behavioural HDL description is presented in this paper. It generates a set of effective test programs by using a simulator, which is able to evaluate with respect to an RTL coverage metric. The proposed optimiser is based on a technique called microGP, an evolutionary system able to automatically device and optimizes the program written in an assembly language. Quantitative coverage measurement presented will guide the test-program generation. The approach is fully automatic and broadly applicable. The minimal test set with the programmable coverage is attained.

@article{Corno:2005:ieeeP, abstract = {A pipelined processor with a high-level behavioural HDL description is presented in this paper. It generates a set of effective test programs by using a simulator, which is able to evaluate with respect to an RTL coverage metric. The proposed optimiser is based on a technique called microGP, an evolutionary system able to automatically device and optimizes the program written in an assembly language. Quantitative coverage measurement presented will guide the test-program generation. The approach is fully automatic and broadly applicable. The minimal test set with the programmable coverage is attained.}, added-at = {2008-06-19T17:35:00.000+0200}, author = {Corno, F. and Sanchez, E. and Reorda, M. S. and Squillero, G.}, biburl = {https://www.bibsonomy.org/bibtex/29c4ca4064e0cc5fa3af84ef2071b62b0/brazovayeye}, doi = {doi:10.1109/MP.2005.1405800}, interhash = {74d29f4a79eb2f9844f3e68664cf8ba7}, intrahash = {9c4ca4064e0cc5fa3af84ef2071b62b0}, issn = {0278-6648}, journal = {IEEE Potentials}, keywords = {algorithms, genetic programming}, month = {February-March}, number = 1, pages = {34--37}, timestamp = {2008-06-19T17:38:09.000+0200}, title = {Automatic test generation for verifying microprocessors}, volume = 24, year = 2005 }