CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC
CRAVE 2.0: The Next Generation Constrained Random Stimuli Generator for SystemC
复制标题
CRAVE 2.0：SystemC 的下一代约束随机刺激发生器
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
R. Drechsler
中科院分区：
文献类型：
--
作者：
H. M. Le;R. Drechsler
详细说明：Crave是一个开源的受限随机验证环境，适用于SystemC。自从第一个版本发布以来，Crave一直在积极开发中。本文介绍了下一个主要版本CRAVE 2.0，其中包含了许多新颖的功能，这些功能显著增加了CRAVE的实用性。重点研究了三个方面的改进：软约束、分布约束和约束划分。
— CRAVE is an open-source constrained random verification environment for SystemC. Since the first release, CRAVE is constantly under active development. The paper introduces the next major release CRAVE 2.0 containing many novel features, which increase the practical usefulness of CRAVE significantly. The focus is on three main improvements: soft constraints, distribution constraints and constraint partitioning.