000003796 001__ 3796 000003796 005__ 20231206121118.0 000003796 0247_ $$2DOI$$a10.6083/kh04dq03d 000003796 037__ $$aIR 000003796 245__ $$aElementary microarchitecture algebra: top-level proof of pipelined microarchitecture 000003796 269__ $$a1999 000003796 336__ $$aArticle 000003796 520__ $$acse-99-002 000003796 540__ $$fCC BY 000003796 542__ $$fIn copyright - single owner 000003796 691__ $$aOregon Graduate Institute 000003796 7001_ $$aMatthews, John 000003796 8564_ $$9394e18f9-6a23-491c-9f54-2a1a7cd47230$$s289375$$uhttps://digitalcollections.ohsu.edu/record/3796/files/csetech-113.pdf 000003796 905__ $$a/rest/prod/kh/04/dq/03/kh04dq03d 000003796 980__ $$aScholars Archive