Login / Signup
Concurrent Generation of Concurrent Programs for Post-Silicon Validation.
Allon Adir
Amir Nahir
Avi Ziv
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2012)
Keyphrases
</>
concurrent programs
process algebra
concurrent programming
concurrent processes
real time
web applications
asynchronous circuits
general purpose
building blocks
formal specification
high density
description language
formal methods