在其所服务的3家公司内实现一种能提供基础验证系统的C/C++库之后,Mike Mintz决定开发出更佳方案。因此他在SourceForge开放源网络上开始了一个小规模开放源项目Teal。
Teal包含6个源文件及一个头文件,构成了验证系统的基础,包括稳定的随机数、线程、无缝注册/有线链接至Verilog、登陆及后门存储器存取。它通过一套存取HDL信号并按照这些信号值给出激励信号的C++类,来鼓励C++验证策略。
通过提供验证系统的基础,Teal旨在帮助验证工程师硬件功能错误测试最小化,并确保硬件符合性能要求,并能被软件所使用。
Mintz透,目前已知的有四家公司正在使用Teal,“尽管将来还会有更多。”其中一个用户是Oasis Semiconductor。该公司ASIC设计验证主管Bennet Ih表示:“完全被Teal所折服”。Teal丰富的特征集和简洁令他非常愉快。他表示,只需按其目的对Teal进行不到50行代码的少许修改。
Mintz在SourceForge上创建了一个针对Teal的网站,提供下载、支持和文档,包括一个总览的演示稿和100页的用户手册。Mintz目前是飞思卡尔半导体(Freescale Semiconductor)的设计师。他有20年的半导体行业经验,包括软件开发、管理和硬件验证领域的经验。他的工作主要集中于图形芯片,但也从事从通信到系统级芯片(SOCs)ASIC和FPGA验证。
京公网安备 11011202001138号
