Mixing ATPG and property checking for testing HW/SW interfaces.

Alessandro Fin Franco Fummi Graziano Pravadelli

Published in: ACM Great Lakes Symposium on VLSI (2003)

Keyphrases

hw sw
hardware software
hardware software co design
embedded systems
design methodology
hardware software partitioning
hardware and software
neural network
database systems
user interface
object oriented
open source
high performance computing
field programmable gate array