首页>
外国专利>
Verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling system and program product
Verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling system and program product
展开▼
机译:由关键资源调度系统和程序产品驱动的随机模拟验证高度优化的同步管道
展开▼
页面导航
摘要
著录项
相似文献
摘要
Testing a model of a logic circuit model. The testing includes generating valid random input stimulus sequences for a logic circuit model. Enumerating critical resource requirements, enumerating critical resource availabilities does this, and selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability. This includes generating a plurality of possible combinations of input stimulus sequences and generating an array representation of critical resource requirements. These are used to generate an array representation of critical resources availabilities.
展开▼