西部产学研在线服务平台
| 关注我们
扫描二维码
口袋专利

专利在线查询

描二维码
西部产学研在线

官方公众号

|关于我们
平台简介 帮助中心
|网站导航
| 咨询热线：029-88202821
您当前的位置：科技成果 > 一种硬件语言VHDL到MSVL的自动转换系统

一种硬件语言VHDL到MSVL的自动转换系统

1592018/10/08
咨询成果 发布成果
基本信息
  • 成果类型 高等院校
  • 委托机构 西安电子科技大学
  • 成果持有方 西安电子科技大学
  • 行业领域 其他电子信息
  • 项目名称 一种硬件语言VHDL到MSVL的自动转换系统
  • 知识产权 发明专利
  • 成果成熟度
  • 项目简介 一种硬件语言VHDL到MSVL的自动转换系统，其能够将VHDL语言程序文件转换成MSVL语言程序文件，所述转换系统包括，文件分析模块、词法分析模块、语法分析模块、信息存储模块、翻译模块、翻译结果字符串连接模块。VHDL程序转换为MSVL程序后，模型构造与性质描述使用同一种语言，使得验证在同一逻辑框架下进行，方便地实现对VHDL语言程序间接的模型检测。在转换的过程中，通过制定不同语法结构的转换规则，并通过一些额外的辅助手段将VHDL程序转换为了语义等价的MSVL程序，这样就可以通过对等价的MSVL程序进行仿真、建模和验证，来确保源VHDL程序的正确性。
交易信息
  • 意向交易额 面议
  • 挂牌时间 2019/10/08
  • 委托机构 西安电子科技大学
  • 分享至：