目录
1. 有限状态机设计
1.1 FSM代码编写
1.2 输入序列代码编写
1.3. mcode概念
2. Simulink
2.1. 输入部分
2.2. Mcode模块
2.3. 完整模块
总结
参考博客【R1】，参考视频资料【R2】
设计中经常用到一些控制逻辑，如有限状态机（FSM），如果用各种block搭建一个FSM比较麻烦。System Generator支持调用MATLAB代码，通常可以编写MATLAB代码来实现FSM等控制逻辑，通过MCode block调用到System Generator设计中。
本文将使用MATLAB代码设计一个FSM，对“1010”这个序列进行检测。序列检测应该是很多Verilog/VHDL学习者在学习FSM时接触到的一个简单设计。本文将以该设计在System Generator中的实现为主题，介绍MCode的使用。
1. 有限状态机设计
1.1 FSM代码编写
FPGA相关知识点14——有限状态机FSM设计 - 哔哩哔哩 (bilibili.com)
https://www.bilibili.com/read/cv7207512?spm_id_from=333.999.0.0其实，我们在写if/else语句和switch/case语句的时候，就是在跟状态机打交道。如果可以把整个系统模型抽象成一个有限状态机，那么代码就会逻辑特别清晰，结构特别规整。
序列检查状态机设计：
这是一个非常常见的状态机应用，本次设计用来检测序列“1010”
本人设计流程如下：
1. 确定有效状态：
本次需要检测序列“1010”，那么就应该会出现5个有效状态，为：
“初始状态” -> “检测到1” -> “检测到10” -> “检测到101” -> “检测到1010”
那么状态变量需要的数据宽度就是3，此时最多能表示8个状态。
我们的有效状态只有5个，剩下的都归为异常状态。
状态机如下：
对着图写程序，把每一个状态变化的情况编写出来。使用到的语法就是switch/case语法。
% mcode只能调用function函数文件
function Match = state_machine_1010(Din)
% 在mcode文件中，状态变量state需要由下式定义
persistent state, state = xl_state(0,{xlUnsigned, 3, 0});
switch state
case 0
if Din == true %表示输入为1（1真，0假）布尔型输入
state = 1;
else
state = 0;
end
Match = 0; %每一个状态都要有一个输出，因为FPGA是并行运算的
case 1
if Din == true
state = 1;
else
state = 2;
end
Match = 0;
case 2
if Din == true
state = 3;
else
state = 0;
end
Match = 0;
case 3
if Din == true
state = 1;
else
state = 4;
end
Match = 0;
case 4
if Din == true
state = 3;
else
state = 0;
end
Match = 1;
%要注意的是，异常状态也是要设计的，一般会让它们回归到状态0
otherwise
state = 0;
Match = 0;
end在MATLAB中，persistent变量是函数中的局部变量，它在函数调用之间保留其值。当MATLAB首次遇到特定的persistent语句时，它将persistent变量初始化为空矩阵([])。当您清除或修改内存中的函数时，MATLAB会清除persistent变量。要保留函数在内存中，请使用mlock。
在我的例子中，xl_state是一个persistent变量，它被初始化为0，并且在每次调用函数时保留其值。{xlUnsigned, 3, 0}是一个单元阵列，其中xlUnsigned代表数据类型是无符号的定点数；3代表数据的位宽，因为代码中的state需要达到4，所以至少要3bit的位宽；0代表的是二进制点的位置，该部分代码不需要有小数，所以直接设置为0。
注意，因为本文与FPGA视频“Mcode调用流程”相关联，因此这里是用matlab编写的程序。如果是Verilog语言会有些不同。同时matlab中的状态机功能会受到限制，不能使用matlab所有功能函数，如FFT等就不能放在状态机中
1.2 输入序列代码编写
我们也需要在matlab写出输入序列的代码
%% 系统参数
seq = {0,0,0,1,1,0,1,0,1,0,1,1,1,0,1,0};
N = length(seq);
vi = seq;
match = zeros(1,N);
for n = 1:N
match(n) = state_machine_1010(seq(n)); %调用FSM，将每一位信号按顺序输入有限状态机
end1.3. mcode概念
MCode用于在Simulink环境下执行MATLAB函数，经常用于实现一些简单的算法功能、有限状态机和控制逻辑。
基本规则：
- 所有的输入和输出必须是Xilinx的定点数据类型（xfix）；
- 至少包含一个输出；
- M文件应在MATLAB的搜索路径下，或与slx模型文件在同一目录。
*建议先设计好.m文件，再使用Mcode模块。
支持的语法：
Mcode只支持一些在Verilog中也轻易实现的matlab代码，包括：
- 赋值（等号左边只能有一个变量）；
- if/else/elseif end语法（条件表达式必须是判断true/false或1/0）；
- switch语法（case只能选择常量）、for语法；
- 加法、减法、乘法、除法（除数必须是2的N次幂，因为可以转换为移位），除此之外，不支持其它算术表达式
- 关系运算符（<、<=、>、>=、==、~=）
- 逻辑运算符（&、|、~）
三种数据类型：
无符号定点数（xlUnsigned）、带符号定点数（xlSigned）、布尔值（xlBoolean）。
如果在编写matlab时使用到了浮点型，需要手动转化为定点型，如，将浮点数π转换为xfix类型的matlab代码如下：
x = xfix({xlSigned, 20, 16, xlRound, xlWrap}, 3.1415926);
转换后为Fix_20_16格式，Round量化，Wrap溢出
非常需要注意的是：
Matlab代码是一种顺序执行的程序，但我们FPGA最大的特点就是并行工作。所以我们在设计matlab程序的时候一定要考虑到这一点。具体来讲，那就是要保证所有变量在运行的过程中都能得到确定的值。比如说，当我们用matlab设计了一个if else语句时，如果有一些情况你没有考虑进去，没有确定该情况下的赋值结果。那么，那些本来在顺序执行时下不会出现的情况，在并行运行时一定会冒出来，而这些情况得到的结果就都是错误的了。
2. Simulink
2.1. 输入部分
| 计数器 | ROM |
 |
|
2.2. Mcode模块
2.3. 完整模块
仿真结果如下
总结
在System Generator中，Black Box和M-Code都是用于将HDL文件导入进行设计的工具。Black Box是一种可重用的模块，它可以将HDL文件导入到System Generator中进行设计。Black Box可以使用Vivado Simulator或外部协同仿真器进行仿真。Black Box的优点是可以快速地将HDL文件导入到System Generator中进行设计，而不需要手动创建模块。但是，Black Box的缺点是它不能提供与HDL文件相同的灵活性和控制。
相比之下，M-Code可以提供更高的灵活性和控制。M-Code允许用户使用MATLAB语言编写自定义代码，并将其与System Generator模块集成在一起。M-Code的优点是可以提供更高的灵活性和控制，因为用户可以使用MATLAB语言编写自定义代码。但是，M-Code的缺点是需要更多的时间和精力来编写和调试代码。首先，M-Code需要更多的时间和精力来编写和调试代码。其次，M-Code的性能可能会受到影响，因为它需要调用MATLAB引擎来执行代码。此外，M-Code可能会受到System Generator的限制，例如，它可能无法访问System Generator中的所有变量和对象。
