Experience in functional-level test generation and fault coverage in a silicon compiler | IEEE Conference Publication | IEEE Xplore