Query language framework for pre-silicon debug | IEEE Conference Publication | IEEE Xplore