会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明专利
    • Verification apparatus, verification method, and program
    • 验证装置,验证方法和程序
    • JP2005141624A
    • 2005-06-02
    • JP2003379532
    • 2003-11-10
    • Fujitsu Ltd富士通株式会社
    • IWAMOTO MASAMIOZAWA YUICHI
    • G06F11/28G06F9/45G06F17/50
    • G06F11/261G06F11/3696G06F17/5022
    • PROBLEM TO BE SOLVED: To efficiently conduct with good accuracy the verification of hardware and that of software in developing a system LSI.
      SOLUTION: In verifying the hardware, an equivalent value verification section 13 compares a simulation result obtained from the logical simulator 11 of an HDL (Hardware Description Language) model 2 with an expected value generated by an expected value calculation model 12 for verification. In verifying the software, the expected value calculation model 12 is used through an interface section 15. A software debugger 14 verifies firmware 3. The expected value calculation model 12 is used as an expected value generation model in verifying the hardware, and used as the C model of the hardware in verifying the software. In this way, the expected value calculation model 12 is used for both of the hardware verification and the software verification. Thus, the verification is efficiently performed with good accuracy.
      COPYRIGHT: (C)2005,JPO&NCIPI
    • 要解决的问题:在开发系统LSI时,以高精度高效地进行硬件和软件的验证。 解决方案:在验证硬件时,等效值验证部分13将从HDL(硬件描述语言)模型2的逻辑模拟器11获得的仿真结果与期望值计算模型12产生的期望值进行比较,以进行验证 。 在验证软件时,期望值计算模型12通过接口部分15使用。软件调试器14验证固件3.期望值计算模型12用作验证硬件的预期值生成模型,并用作 C型硬件在验证软件时。 以这种方式,期望值计算模型12用于硬件验证和软件验证两者。 因此,能够高精度地进行验证。 版权所有(C)2005,JPO&NCIPI