Study of correlation of testability aspects of RTL description and resulting structural implementations | IEEE Conference Publication | IEEE Xplore