CELTIC - solving the problems of LSI design with an integrated polycell DA system. - G. Martin; J. Berrie; T. Little; D. Mackay; J. McVean; D. Tomsett; L. Weston (DAC, 1981)

Easing the verification bottleneck using high level synthesis. - D. Varma; D. Mackay; P. Thiruchelvam (VTS, 2010)