ForSyDe
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. http://www.ele.kth.se/ForSyDe/
Sim-nML
A high-level processor specification language. it views a processor as a machine that executes a set of instructions. syntax, image, functionality (side-effect), resource-usage and timing of each instruction are described in a hierarchical form. http://www.cse.iitk.ac.in/sim-nml/