用于FPGA设计验证等