@misc {IOPORT.70058217,
    author       = {Allingham, Don and Bashford, Pat and Peters, Mike and Vendl, Dean},
    title        = {Designtest^TM: A solution to the problems of ASIC verification},
    howpublished = {ITC, 893-902 (1989).},
    year         = {1989},
    identifier   = {70058217},
}