当前螺旋锥束CT(Cone-Beam Computed Tomography)在医学中的应用引起了广泛的关注，因为螺旋锥束CT具有很多的优势，包括采集速度非常快，检测效率高以及图像的分辨率高等。CBCT图像重建的算法中Katsevich算法可以精确的实现图像重建，所以对于Katsevich算法的研究一直未停止过。本论文主要针对Katsevich算法中的几个关键模块进行了硬件建模，而采用的硬件建模语言为SystemVerilog，这是因为SystemVerilog语言的一些特性，例如新数据类型、always块的分类以及接口的引入，使得整个硬件建模更加的简洁和准确。论文中对CBCT图像重建中的微分求导、插值算法和反投影运算进行了SystemVerilog硬件建模与仿真，同时对每一个模块中最关心的内存利用和速度加快进行了优化。在微分求导的建模过程中通过使用简单的逻辑运算和选择器使设计中内存的利用减少了1/4；插值计算通过采用流水线结构来加快运算的速度；整个CBCT图像重建中最重要的一步就是反投影运算，不仅需要花费很大的内存空间来存储数据，而且运算的时间也是最长的。本设计采用了一种新的实现方案，即更新域的方法，使得只需要存储一帧数据的内存空间就可以完成整个反投影运算，同时由于流水线的结构，运算所花费的时间也降到了很低。最后通过仿真验证得出整个设计在很少的内存利用和很快的重建速度的要求内，所得到的结果是正确的。