Checking and deriving module paths in Verilog cell library descriptions.

Matthias Raffelsieper Mohammad Reza Mousavi Chris W. H. Strolenberg

Published in: DATE (2010)

Keyphrases

high level
shortest path
stem cell
verification method
microscopic images
optimal path
cell lines
molecular level
natural language descriptions
consistency checking
path finding
database
image analysis
e learning
artificial intelligence
machine learning
data sets