Charles J. Alpert: The ISPD98 circuit benchmark suite. ISPD 1998: 80-85