如何为串行闪存器件合理建模内部内存？需支持可配置及复位内容保留

核心需求拆解 #

• 内存大小支持用户自定义配置，适配不同容量的串行闪存模型复用
• 复位时仅重置控制逻辑，内存内容需持久保留
• 替代固定大小的静态缓冲区（如saved char flash_image[512 * 1024 * 1024];），解决大内存（如512MB）静态分配的局限性

最优实现方案 #

1. 动态内存分配 #

用动态分配的内存块替代静态缓冲区，在模型初始化时根据用户配置的容量申请内存，示例代码：

#include <stdlib.h>

// 闪存模型结构体
typedef struct {
    size_t flash_size;       // 用户配置的闪存容量
    uint8_t* flash_image;    // 动态分配的内存指针
    // 其他控制逻辑变量（如状态机、地址指针等）
    uint32_t current_addr;
    uint8_t command_state;
} SerialFlashModel;

// 初始化函数，接收用户配置的容量
SerialFlashModel* flash_init(size_t size) {
    SerialFlashModel* model = malloc(sizeof(SerialFlashModel));
    if (!model) return NULL;
    
    // 分配闪存内存，用saved修饰确保复位时不被清除（根据你用的仿真环境语法调整）
    model->flash_image = saved malloc(size);
    if (!model->flash_image) {
        free(model);
        return NULL;
    }
    
    model->flash_size = size;
    // 初始化控制逻辑变量
    model->current_addr = 0;
    model->command_state = 0;
    
    return model;
}

// 销毁函数，释放内存
void flash_destroy(SerialFlashModel* model) {
    if (model) {
        saved free(model->flash_image);
        free(model);
    }
}

注意：saved关键字的语法需根据你使用的仿真框架（如Verilog DPI、SystemC等）调整，核心是确保这块内存不受复位信号影响。

2. 复位逻辑分离 #

复位时仅重置结构体中的控制逻辑变量，不触碰flash_image指针和其指向的内存：

void flash_reset(SerialFlashModel* model) {
    if (!model) return;
    // 仅重置控制逻辑
    model->current_addr = 0;
    model->command_state = 0;
    // 不处理flash_image，保留内存内容
}

3. 配置接口设计 #

提供外部配置入口，灵活适配不同容量需求：

• 命令行参数方式：启动仿真时传入--flash-size=536870912（对应512MB）
• 配置文件方式：从JSON/INI文件中读取flash_size字段，再初始化模型

4. 内存访问封装 #

为闪存内存封装读写函数，确保访问边界检查，避免越界：

// 读取闪存数据
uint8_t flash_read(SerialFlashModel* model, uint32_t addr) {
    if (!model || addr >= model->flash_size) return 0; // 越界处理
    return model->flash_image[addr];
}

// 写入闪存数据
void flash_write(SerialFlashModel* model, uint32_t addr, uint8_t data) {
    if (!model || addr >= model->flash_size) return; // 越界处理
    model->flash_image[addr] = data;
}

注意事项 #

• 动态分配的内存需确保在整个仿真周期内有效，避免提前释放
• 若仿真环境不支持saved修饰的动态内存，可考虑将内存块放在独立的、不受复位影响的内存区域（比如操作系统级的内存映射文件，或仿真工具提供的持久化内存接口）
• 大内存（如512MB）分配时需检查系统内存是否充足，避免分配失败

内容的提问来源于stack exchange，提问作者Gustav Wiklander