SystemC语言相关论文
随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新......
随着电子集成技术的快速发展，片上系统设计过程变的日益复杂。传统设计方法由于在软硬件设计过程使用不同语言从而造成系统描述不一......
