Login / Signup
A Decomposition Workflow for Integrated Circuit Verification and Validation.
Adam G. Kimura
Jon Scholl
James Schaffranek
Matthew Sutter
Andrew Elliott
Mike Strizich
Glen David Via
Published in:
J. Hardw. Syst. Secur. (2020)
Keyphrases
</>
integrated circuit
petri net
petri net model
model checking
business processes
document management
process model
video sequences
business process
data flow
workflow management systems
scientific workflows
decomposition methods