Parallel Verification of Serial MAC and AE Modes.

Kazuhiko Minematsu Akiko Inoue Katsuya Moriwaki Maki Shigeri Hiroyasu Kubo

Published in: SAC (2021)

Keyphrases

model checking
data sets
neural network
parallel processing
parallel hardware
parallel implementation
computer architecture
real time
learning algorithm
information systems
search algorithm
general purpose
petri net
asynchronous circuits
distributed memory machines