ForSyDe's System-Level intermediate representation and supporting libraries.
Generic Design Space Exploration for models based system design
