@misc {IOPORT.71010133,
    author       = {Chang, Ying-Tsai and Cheng, Kwang-Ting},
    title        = {Induction-based gate-level verification of multipliers},
    howpublished = {ICCAD, 190- (2001).},
    year         = {2001},
    identifier   = {71010133},
}