The need for Co-simulation in ASIC-verification. - Stefan Sjöholm; Lennart Lindh (EUROMICRO, 1997)