Automatic Circuit Extractor for HDL Description Using Program Slicing.

Tun Li Yang Guo Sikun Li

Published in: J. Comput. Sci. Technol. (2004)

Keyphrases

program slicing
high level
formal verification
neural network
classification accuracy
software engineering
open source
design process
description languages