Automated pipeline design (Proceedings of the 38th Annual Design Automation Conference, 2001)

(untitled) - Kroening, D; Paul, W