Efficient use of large don't cares in high-level and logic synthesisReinaldo A. BergamaschiD. Brandet al.1995ICCAD 1995
Locking without blocking: Making lock based concurrent data structure algorithms nonblockingJohn TurekD. Shashaet al.1992SIGMOD/PODS/ 1992
High-level synthesis in an industrial environmentReinaldo A. BergamaschiR.A. O'Connoret al.1995IBM J. Res. Dev