An advanced design system: design capture, functional test generation, mixed level simulation and logic synthesis [VLSI] | IEEE Conference Publication | IEEE Xplore