Proximus is an Electronic System Level (ESL) design environment.
Next Scripting Framework (NSF)
A C extension to Tk that provides functionality to modify images
Open Design and Integration Environment
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs