位置：成果数据库 > 期刊 > 期刊详情页
Component-based verification using incremental design and invariants
  • ISSN号：1619-1366
  • 期刊名称：Software and Systems Modeling
  • 时间：0
  • 页码：-
  • 相关项目：基于BIP的嵌入式多核软硬件系统建模及其设计方法
作者： Saddek Bensalem|Marius Bozga|Axel Legay|Thanh-Hung Nguyen|Joseph Sifakis|Rongjie Yan|
同期刊论文项目
基于BIP的嵌入式多核软硬件系统建模及其设计方法
期刊论文 14 会议论文 3
同项目期刊论文
Performance Estimation Techniques with MPSoC Transaction-Accurate Models
High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding (CAB
Communication-oriented Performance Optimization during Code Generation from Simulink Models
Communication Optimization for Multithreaded Code Generation from Simulink Models
Profiling and annotation combined method for multimedia application specific MPSoC performance estim
高效可配的对称密钥算法硬件架构设计
低功耗可配置的USB3.0设备控制器IP核设计
多标准通信协议的可配置外设控制器设计
基于IP-XACT标准的SoC集成方法
基于扩展自动机的服务组合静态与动态验证方法
多处理器片上系统的线程迁移方法
High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding （CABAC） decoding
基于体系结构能耗建模的CPS软件可信性评估方法