Amanote Research
Register
Sign In
Scoot: A Tool for the Analysis of SystemC Models
doi 10.1007/978-3-540-78800-3_36
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Nicolas Blanc
Daniel Kroening
Natasha Sharygina
Publisher
Springer Berlin Heidelberg