Functional Verification of Digital Systems Using Meta-Heuristic Algorithms-Reference-Cited by-同舟云学术

Functional Verification of Digital Systems Using Meta-Heuristic Algorithms

Published:2018-11-28 Issue: Volume: Page:
ISSN:
Container-title:Digital Systems
language:
Short-container-title:

Author:

Martínez-Cruz Alfonso,Algredo-Badillo Ignacio,Medina- Santiago Alejandro,Ramírez-Gutiérrez Kelsey,Cortés-Antonio Prometeo,Barrón-Fernández Ricardo,Cumplido-Parra René,Cheng Kwang-Ting

Publisher

IntechOpen

Link

http://www.intechopen.com/download/pdf/63879

Reference13 articles.

1. Bose M, Shin J, Rudnick EM, Dukes T, Abadir M. A genetic approach to automatic bias generation for biased random instruction generation. In: Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546). Vol. 1. 2001. pp. 442-448

2. Samarah A, Habibi A, Tahar S, Kharma N. Automated coverage directed test generation using a cell-based genetic algorithm. In: 2006 IEEE International High Level Design Validation and Test Workshop. Nov 2006. pp. 19-26

3. Shen H, Wei W, Chen Y, Chen B, Guo Q. Coverage directed test generation: Godson experience. In: 2008 17th Asian Test Symposium. Nov 2008. pp. 321-326

4. Li M, Hsiao MS. An ant colony optimization technique for abstraction-guided state justification. In: 2009 International Test Conference. Nov 2009. pp. 1-10

5. Puri P, Hsiao MS. Fast stimuli generation for design validation of rtl circuits using binary particle swarm optimization. In: 2015 IEEE Computer Society Annual Symposium on VLSI. July 2015. pp. 573-578

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimal fault resilient autonomous quadcopter control based on dynamic partial reconfigurable FPGA;Cogent Engineering;2023-11-20