-Verilog Dynamic Verifier by Alternating Automata.

Naiyong Jin Chengjie Shen Jun Chen Taoyong Ni

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

dynamic environments
data sets
website
machine learning
metadata
case study
search algorithm
artificial neural networks
cellular automata