Charm is interpreted DSL and runtime for writing/managing closed-form high-level architecture models.
numpy (v1.12.1)
scipy (v0.18.1)
merp (v0.11)
sympy (v1.0.1)
lmfit (v0.9.9)
networkx (v2.1)
For SMT capabilities:
z3 (v4.6.0 with python binding)
python interpreter/parser.py models/dark_silicon.txt
Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali JavadiAbhari, George Tzimpragos, Frederic T. Chong and Timothy Sherwood. "Charm: A Language for Closed-form High-level Architecture Modeling" in Proceedings of the International Symposium of Computer Architecture (ISCA) June 2018. Los Angeles, CA.