Home› High level synthesis device, method for generating a model for verifying hardware, method for verifying hardware, control program, and readable recording medium
High level synthesis device, method for generating a model for verifying hardware, method for verifying hardware, control program, and readable recording medium