muFP, a Language for VLSI Design¶
Sheeran, M. (1984). muFP, a Language for VLSI Design. Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, 104-112.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Function-Level Programming
- Functional hardware description. Sheeran's µFP adapts FP-like primitive functions and combining forms so circuit behavior and layout structure can be expressed and reasoned about algebraically.
This sourcePresents an FP-derived language whose primitive functions and combining forms describe circuit behavior and layout structure.
- Functional hardware description. Sheeran's µFP adapts FP-like primitive functions and combining forms so circuit behavior and layout structure can be expressed and reasoned about algebraically.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:210b161c39e1 · see in the full table