Login / Signup
V-SAT: A visual specification and analysis tool for system-on-chip exploration.
Asheesh Khare
Ashok Halambi
Nicolae Savoiu
Peter Grun
Nikil D. Dutt
Alex Nicolau
Published in:
J. Syst. Archit. (2001)
Keyphrases
</>
analysis tool
visual exploration
visual information
high level
interactive visual
low level
power consumption
sat solvers
satisfiability problem
embedded systems
visual features
design space exploration
orders of magnitude
sat problem
temporal analysis
propositional satisfiability
real time