Can I use HDL Verifier cosimulation blocks in a Simulink model with continuous states?

3 views (last 30 days)
David on 8 Oct 2014
Commented: Dan Massie on 28 Jan 2016
In the HDL co-simulation tutorial provided by Mathworks (page 4-63 of the HDL Verifier User's Guide, R2014A), I read the sentence: "Configure the Simulink solver options for a fixed-step, discrete simulation; this is required for cosimulation operation." For the simple model being described in the tutorial, using the fixed-step solver makes sense. But this sentence makes it sound like the fixed-step solver must be used for all models which include co-simulation blocks. This would mean that co-simulation cannot be applied in models which have blocks with continuous states outside the HDL block. Is this correct? Or is this just a poorly-worded sentence in the tutorial?
  1 Comment
Dan Massie
Dan Massie on 28 Jan 2016
Did you ever get an answer to this question? Can you have continuous states outside of the HDL block? Thanks.

Sign in to comment.

Answers (1)

Sandip Kumar
Sandip Kumar on 9 Oct 2014
During HDL co-simulation using HDL Verifier, the generated HDL code is being tested. The HDL code generation step requires Fixed-step and discrete (recommended) as options as listed here:
And more information about them is covered in the 'hdlSetup' function documentation:
Also as mentioned :
  • Solver: Discrete (no continuous states). Other fixed-step solvers could be selected, but this option is usually the best one for simulating discrete systems.
As it says, it is recommended, which means if needed you can always select another solver option under 'Fixed-Step'.
Thanks, Sandip, MathWorks
  1 Comment
David on 9 Oct 2014
Thank you for your response. But my question is a little different, because I am not using HDL Coder to generate the HDL code. Instead, I have written Verilog code manually, and then want to use HDL Verifier alone to verify that the code will work as expected as part of a model that also contains continuous states. The HDL Verifier cosimulation block itself will operate on port sample times which are uniformly spaced, but other portions of the model require the use of a continuous time solver. But based on the line from the documentation that I quoted in my original posting, I still wonder if this approach will generate an error.

Sign in to comment.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!