Old Web
English
Sign In
Acemap
>
Paper
>
Functional Verification of Digital Systems Using Meta-Heuristic Algorithms
Functional Verification of Digital Systems Using Meta-Heuristic Algorithms
2018
Alfonso Martínez-Cruz
Ignacio Algredo-Badillo
Alejandro Medina-Santiago
Kelsey A. Ramírez-Gutiérrez
Prometeo Cortés Antonio
Ricardo Barrón Fernández
Rene Cumplido-Parra
Kwang-TingCheng
Keywords:
Theoretical computer science
Functional verification
Heuristic
Computer science
meta heuristic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
13
References
0
Citations
NaN
KQI
[]