Sign in
Behavior-RTL Equivalence Checking Based on Data Transfer Analysis with Virtual Controllers and Datapaths.
Masahiro Fujita
Published in:
CHARME (2005)
Keyphrases
</>
data transfer
control system
data analysis
distributed systems
file system
parallel computers