High-level synthesis in an industrial environmentReinaldo A. BergamaschiR.A. O'Connoret al.1995IBM J. Res. Dev