学校即将进行中期检查，很不幸的我被抽到了，可现在对于我自己的课题还真的是一头雾水，望大家指点指点，任务说明书如下：
一、题目
模拟电路状态变量变迁验证算法的MATLAB实现
二、指导思想和目的要求
本课题集中讨论模拟集成电路计算机辅助设计中电路混合动态相应的验证问题，借助MATLAB强大的符号化分析工具实现基于混合状态变迁原理的混合电路动态相应的验证。本课题的具体要求如下：
1. 了解集成电路设计流程和集成电路设计EDA工具的特性，分析SPICE类仿真算法的原理；
2. 学习模型检验（Model Checking）算法，了解模型检验在混合信号电路验证中的应用；
3. 学习符号化分析方法，分析基于符号化方法的模型检验算法；
4. 了解模拟电路层次化的混合状态变迁模型，使用相关模型检验算法在MATLAB平台上实现对模拟电路的验证；
5. 分析符号化模型检验验证算法与SPICE软件仿真验证的误差；
三、主要技术指标
使用MATLAB平台实现模型检验算法，对特定的电路可进行一定参数的验证其具体要求如下：
1. 符号化的模型检验模块设计；
2. 对特定电路的混合状态变迁模型可使用验证模块进行验证；
3. 具有SPICE软件数据接口，可获得SPICE数据输出文件中关键仿真数据；
4. 对该形式化验证的精度与SPICE仿真软件进行比较。
四、进度和要求
第1周 ——第7周 收集相关资料，学习MATLAB语言语法，学习符号化方法和模型检验算法，了解模拟电路混合状态变迁模型；
第8周 ——第15周 消化资料，使用MATLAB实现基于符号化分析的模型检验算法，将该形式化验证结果与SPICE仿真验证结果进行比较，进行精度误差分析；
第16周——第17周 整理并完成毕业论文
15号院里面将对被抽中的学生进行检查，要是检查不过将会被亮黄牌，请各位牛人们近来帮我分析下吧！
小弟在此先谢过了，我的QQ：46695836
邮箱：eastwind0208@163.com
[返回] 中文XML论坛 - 专业的XML技术讨论区 →
计算机理论与工程 → 『 理论计算机科学 』 → 请前辈牛人们进来帮帮忙吧！
(订阅本版)
2007/5/11 23:38:00
新浪微博
请前辈牛人们进来帮帮忙吧！
