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.