A Switch-Level Test Generation System | IEEE Conference Publication | IEEE Xplore