Automated pipeline design - Kroening, D; Paul, W (Proceedings of the 38th Annual Design Automation Conference, 2001)