An efficient sequential range query model for minimum width/space verification (circuit analysis) | IEEE Conference Publication | IEEE Xplore