A High Efficient Method to Generate the Verification Vector of ICs

Abstract

Abstract: Verification is very important in designing digital systems. It has become a bottleneck in the modern digital system design cycle. In an effort to improve current verification method based on simulation, this paper presents a method for the generation of simulation vectors using FSM. It can improve the coverage of the state space.

Key words: specification, fsm, coverage, event, verification vectors

摘要： 设计验证（Design Verification）在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试，介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。

关键词: 设计规范, 有限状态机, 覆盖率, 事件, 验证向量

CLC Number:

SUN Zhao,WANG Yong. A High Efficient Method to Generate the Verification Vector of ICs[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

孙钊,王勇. 芯片功能验证流的高效生成方法[J]. 北京大学学报（自然科学版）.

[1]	DUAN Jianyong, DAI Shiwei, WANG Hao, HE Li, LI Xin. Exploration of Knowledge Driven Event Hyperbolic Embedding Temporal Relation Extraction Method [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(1): 76-82.
[2]	YU Yuanfang, ZHANG Yong, ZUO Haoyang, ZHANG Lianfa, WANG Tingting. Multi-turn Event Argument Extraction Based on Role Information Guidance [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2023, 59(1): 83-91.
[3]	CHEN Zhi, HUANG Ying, DING Jinshan, SHI Zhe, QIU Guoyu, YAN Chunhua. Simulation of Urban Evapotranspiration Considering Vegetation Coverage [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2022, 58(6): 1130-1140.
[4]	YANG Yanzhao, GE Zengxi. Application of the Automated Event Location Using a Mesh of Arrays in Southern Ordos and Qinling-Dabie Orogenic Belt [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2022, 58(4): 626-634.
[5]	XIE Fei, AN Shengpei, ZHU Chenghong, LIU Jiahui, HU Tianyue. Dimensionality Reduced Virtual Event Method to Suppress Internal Multiples for Land Seismic Data [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2021, 57(6): 1101-1107.
[6]	ZHAI Shang, YU Zhichao, TAN Yuyang, HUANG Fangfei, LIU Ling, HU Tianyue, HE Chuan. Microseismic Monitoring Events Classification Based on Waveform Clustering Analysis and Application [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2020, 56(3): 406-416.
[7]	LIU Mingtong, ZHANG Yujie, ZHANG Shu, MENG Yao, XU Jin’an, CHEN Yufeng. A Multi-Mechanism Fused Paraphrase Generation Model with Joint Auto-Encoding Learning [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2020, 56(1): 53-60.
[8]	WU Ruiying, KONG Fang. Event Coreference Resolution with Document Representation [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2020, 56(1): 82-88.
[9]	CHENG Junyi, ZHANG Xianfeng, SUN Min, LUO Peng, YANG Wanting. Random Forest Model for the Estimation of Fractional Vegetation Coverage Based on a UAV-Ground Co-Sampling Strategy [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2020, 56(1): 143-154.
[10]	DONG Yiting, LIU Jianbo, CHEN Yuxuan, ZHONG Si, ZHAN Renbin. Redox Variation during the Early and Middle Ordovician in South China and Its Implication to the Great Ordovician Biodiversification Event [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2018, 54(4): 739-751.
[11]	WEI Mengyi, TAN Yuyang, MAO Zhonghua, FENG Gang, HU Tianyue, HE Chuan. Automatic Microseismic Event Detection and Arrival Picking Based on Waveform Cross-Correlation [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2018, 54(2): 361-372.
[12]	KONG Yinghui, HE Canfei, LIN Chusheng. Impacts of Mega-Events on City Investment and Financing: An Empirical Analysis of Panel Data from Municipal-Level Cities [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2018, 54(2): 451-458.
[13]	Yadong CHEN, Yu HONG, Xiaobin WANG, Xuerong YANG, Jianmin YAO, Qiaoming ZHU. Combining Multiple Models and High-Confidence Dictionary for Event Nugget Detection [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2017, 53(3): 412-420.
[14]	Fei PENG, Wenjie FAN, Xiru XU, Xing LIU. Analysis on Temporal-Spatial Change of Vegetation Coverage in Hulunbuir Steppe (2000‒2014) [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2017, 53(3): 563-572.
[15]	Liu SHI, Zuntao FU. Winter 2010‒2011: A Case Study of the Impact of La Niña on the Arctic Vortex [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2017, 53(2): 321-328.

A High Efficient Method to Generate the Verification Vector of ICs

芯片功能验证流的高效生成方法

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics