Testability analysis method for hardware and software based on assertion libraries | IEEE Conference Publication | IEEE Xplore