A novel SoC platform based multi-IP verification and performance measurement.

Joo-Yul Park So-Jin Lee Ki-Seok Chung

Published in: Int. J. Inf. Commun. Technol. (2009)

Keyphrases

real time
low power
hardware and software
embedded systems
databases
e learning
learning environment
multi agent systems
model checking
end to end
formal methods
distributed architecture