TY  - GEN
AD  - Oregon Graduate Institute of Science and Technology
AU  - Matthews, John R.
DA  - 2000
DO  - 10.6083/M45718Z1
DO  - DOI
ID  - 107
KW  - microprocessors
KW  - functional programming languages
KW  - design
KW  - computer hardware description languages
L1  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
L2  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
L4  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
LK  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
PB  - Oregon Graduate Institute of Science and Technology
PY  - 2000
T1  - Algebraic specification and verification of processor microarchitectures
TI  - Algebraic specification and verification of processor microarchitectures
UR  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
Y1  - 2000
ER  -