HOME       UP       PREV       FURTHER NOTES       NEXT (Rule-based hardware generation (BlueSpec))  

Refinement from a specification to implementation.


(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.