Login / Signup
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.
Chanwook Oh
Michele Lora
Pierluigi Nuzzo
Published in:
ICCAD (2022)
Keyphrases
</>
design space exploration
stochastic nature
design space
computer architecture
hardware software partitioning
supply chain
design process
high level synthesis
model checking
image processing