Functional verification of a frequency-programmable switch chip with asynchronous clock sections. - Bodo Hoppe; Bridgette Arthur-Mensah; Edward W. Chencinski; Sabina Joseph; Haresh Kumar; Jose F. Silverio (IBM J. Res. Dev., 2004)