Title: Automated FPGA design, verification and layout
First published: 2004