A Module Checking Based Converter Synthesis Approach for SoCs.

Roopak Sinha Partha S. Roop Samik Basu

Published in: VLSI Design (2008)

Keyphrases

control method
program synthesis
verification method
data conversion
artificial neural networks
data sets
neural network
social networks
computer vision
information systems
high speed
question answering
high voltage