SMV是一些采用SigMatel解码芯片的MP3所支持的视频格式。其画质清晰，但它的文件体积很大，每分钟的SMV视频文件的容量在20MB左右，目前在国内经常被使用。新出的M8*系列的产品都支持的是SMV格式的视频文件，其最大可以支持到128*160显示。

格式解析

格式转换

SMV精灵

形式验证工具软件

格式解析

先来介绍一下AMV，AMV是英文Advance Media Video的缩写。AMV格式：相对于MTV格式来说，AMV视频格式比MTV视频格式有着更好的压缩比例以及画面质量。通过AMV转换工具转换出来的影音文件一分钟的容量大约在1.6MB--1.8MB左右。换算后可得知，一部256MB的视频MP3播放器可存放约130分钟的AMV格式的电影，因此用户可以将一部电影从头看到尾，不存在看半截的遗憾了，从而真正让视频MP3播放器成为“电影播放机.SMV是基于AMV的新技术，画质更好每分钟3MB左右，俗称“晶影”对解码芯片的要求也不高。

关于其SMV格式的转换，目前是光盘中提供的，不同格式的源文件其转换过程是不同的，建议您转换其他的格式的文件试一下。

smv是一种屏幕录像保存的格式，可以用S-Recorder等软件打开，推荐Screen Demo Maker v2．0 可用sdemo制作用来生成EXE做教程的。

SMV格式通常运用在SigmaTel公司的低端芯片上，如3504系列芯片。

格式转换

smv格式的视频没有现成的，必须经过转换。转换前请做好以下的准备工作：

(1).确保电脑上安装的Windows Media Player的版本是9.0或以上版本，确保DirectX的版本是9.0或以上版本(推荐为9.0C)

(2).如果需要转换的格式是AVI、RMVB、MOV等格式请确保电脑上已经安装了相关的视频解码器，推荐是如下软件中的一个：“暴风影音”或“K-Lite Mega Codec Pack”或“KMPlayer”。

(3).本人做过测试，一般在电脑上可以播放的视频都可以使用“smv转换工具”转换为smv格式的视频。swf格式的可以先通过软件转换为mpg或avi格式再用转换工具转换。我测试过如下格式，这些都是可以转换的。

(A) avi的AVI格式文件；

经过部分测试，支持！(因为avi格式很复杂，所以只能测试部分种类的文件)。

(B) asf、wmv的Windows Media格式文件；

经过测试，支持！Windows Media Player请升级到9.0及以上版本；DirectX请使用9.0及以上版本。

(C) mpg、mpeg的MPEG1格式文件(VCD的格式)

经过测试，支持！其中mpeg后缀名在转换时请改output file内的文件的后缀名为smv。

(D) rm、rmvb的Realplay格式文件；

经过测试，支持！其中rmvb后缀名在转换时请改output file内的文件的后缀名为smv。

(E) mov的Quicktime格式文件；

经过测试，支持！

(F) vob的MPEG2格式文件(DVD的格式)；

经过测试，支持！

注意事项：目前世界上仍没有一种软件能把smv格式转换成其他常用视频格式，如mpg、mp4、rmvb等，连常用的格式工厂也无法解码smv文件。

SMV精灵

SMV精灵是国内第一款最小巧的SMV格式视频转换工具，它支持avi mpg mpeg asf wmv rm rmvb mov vob等多种视频格式转换为SMV格式。SMV格式是一些采用SigMatel解码芯片的MP3所支持的视频格式。相对于旧版SMV格式来说，新版SMV视频格式比旧版SMV格式有了很大改进，除了文件缩小了不少，而且转换时间也大大减少。通过SMV精灵转换出来的影音文件一分钟的容量大约在1.0MB--2.0MB左右。

SMV精灵的特点如下：

1.优化加快转换速度和转换质量；

2.支持128X96，128X128，160X96，160X128四种方式转换；

3.优化了文件体积大小；

4.提供网站支持的大量SMV下载 。

转换说明

安装完毕后，点开始打开SMV精灵。(注意:其实从网上下的解压包解压后不需要点安装什么的,因为解压后就是可以直接运行的程序了，打开这个叫SMV精灵.EXE的文件就可以转了)：

1.输入视频中选择要转换文件的路径，输出视频选择要保存文件的地址.；

2.视频质量选择中（128MB/小时)；

3.尺寸选择128X128，选择适合屏幕； 如果是整部片子都转换，就直接点击开始转换；如果只是部分转换，点结束用鼠标拖动下面的移动条，选择要转换的影片的长度；

4.接着开始转换，结束后就会在保存目录下生成一个smv格式的文件。

形式验证工具软件

SMV工具是美国CMU计算机学院的L.McMillan博士于1992年开发出的模型检验工具软件，它基于“符号模型检验”(Symbolic Model Checking)技术，SMV因此而得名。SMV早期是为了研究符号模型检验应用的可能性，而开发的一种对硬件进行检验的实验工具。发展到今天，SMV已成为国际上广为流行的分析有限状态系统的常用工具。SMV有多个版本，如：CMU-SMV、Cadence -SMV、NuSMV。