HOME       UP       PREV       NEXT (Kiwi : Compiling Concurrent Programs to Hardware)  

Semantics of a programming language when used for hardware description.

In Verilog, the rule for mapping the thread to hardware is simply to update the real flip-flops with the values found in the simulation time registers when the thread encounters the clock event control statement (` \@(posedge clk)'). In languages such as C and Java, there are no such clock statements. There are no widely-accepted rules for converting C and Java to hardware, but two suitable rules for functions and processes can be summarised as:

21: (C) 2008-11, DJ Greaves, University of Cambridge, Computer Laboratory.