冗余添加相关论文
大数据时代背景下,数据量的爆炸式增长,给数据存储带来巨大挑战。一方面,传统磁盘以及新型存储介质失效出错的概率随存储规模激增,......
可替换线逻辑综合（如ＰＡＭＢＯ）是近年来兴起的一种方法，它采用测试向量自动生成（ＡＴＰＧ）方法来实现冗余添加和删除．但是，频繁调用逻辑蕴涵过程使得整个逻......
