Hardware Description Languages

1. Sim-nML  (site info) 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/ 2. Digital Core Design  (site info) VHDL, Verilog synthesizable and simulation models. http://www.dcd.pl/ 3. Doulos KnowHow  (site info) Designer's guides and models for VHDL and Verilog. SystemC home. Also Perl and Tcl/Tk for hardware designers resources. http://www.doulos.com/knowhow/ 4. ABEL Primer  (site info) Overview of the ABEL Hardware Description Language. http://www.ee.upenn.edu/rca/software/abel/abel.pri... 5. ForSyDe  (site info) 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/ 1-5 of 8. Next »