System-level design verification in the AT&T Computer Division: tools | IEEE Conference Publication | IEEE Xplore