A method for generation of GSTE assertion graphs | IEEE Conference Publication | IEEE Xplore