HOME
PREV
FURTHER NOTES
NEXT (Back-end logic synthesis.)
Refinement from a specification to implementation.