×

使用MATLAB和Simulink在SystemC的验证环境

消耗积分:0 | 格式:rar | 大小:1536 | 2009-07-23

小树林

分享资料个

The verification task of today’s multi-million gates
designs has become the primary bottleneck in the design
flow. Industry estimates are that functional verification
takes approximately 70% of the total effort on a project.
Rising gate count combine with greater design complexity
has lead to much longer verification times. Time-to-market
schedules are much harder to meet while project costs
increase. According to a survey conducted by Collett
International Research Inc. in 2002 [9], 60% of all tapeouts,
that requires silicon re-spin, contained logic or functional
flaws. Among those faulty integrated circuits, 82% had
design errors. Incorrect or incomplete specifications,
corner cases simply not covered during verification or
changes in design specifications are a few causes of these
flaws.
New verification techniques and methodologies are
required to cut verification time and improve the quality of
verification. Hopefully, hardware verification languages
(HVL) come to the rescue, raising the testbench at a higher
abstraction level. With specific verification syntax and
faster simulation speed, HVLs improve performance and
quality compared to RTL testbenches, thus reducing the
time spent in verification.
In this work we focus our efforts toward the
verification of digital signal processing (DSP) applications.
Most signal processing designs begin with algorithmic
modeling in the MATLAB and Simulink environment.
Therefore, we believe that hardware verification could be
significantly improved and accelerated by reusing these
high level golden references models.

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !