Practical concurrent ASIC and system design and verification. - Ian Gibson; Chris Amies (ED&TC, 1997)