IC验证中，用C语言实现算法模型时主要用到了C语言语法的哪些内容？

在IC验证中，用C语言实现算法模型时主要用到了以下C语言语法：

1. 变量与数据类型：C语言中包含多种数据类型，如int、float、double等，还可以使用结构体等自定义数据类型。

2. 控制语句：C语言中包含if、switch、while、for等控制语句，能够实现程序的分支和循环控制。

3. 数组与指针：C语言中使用数组来存储一组相同类型的数据，使用指针来访问数组元素，也可以用指针来访问内存中的任意地址。

4. 函数与库函数：C语言中可以定义函数来实现程序模块化，还可以使用库函数来实现常用功能，如数学计算、字符串处理等。

5. 文件操作：C语言中可以使用文件操作函数来实现文件的读写操作，如fopen、fwrite、fread等。

6. 宏定义与条件编译：C语言中可以使用宏定义来定义常量、函数、代码块等，还可以使用条件编译来实现程序的跨平台兼容性。

以上是C语言在IC验证中实现算法模型时主要用到的语法内容，当然还有其他的语法内容，如结构体、枚举、位运算等。