Efficient prototyping system based on incremental design and module-by-module verification | IEEE Conference Publication | IEEE Xplore