Automating the IEEE std.1500 compliance verification for embedded cores.

Alfredo Benso Stefano Di Carlo Paolo Prinetto Alberto Bosio

Published in: HLDVT (2007)

Keyphrases

model checking
embedded systems
face verification
dynamic random access memory
real time
wireless lan
computer society
intelligent agent technology
neural network
e learning
signature verification
formal verification
cryptographic protocols
asynchronous circuits