Specification and Verification of Pipelining in the ARM2 RISC Microprocessor

Jim Huggins, David Van Campenhout

Research output: Contribution to journal › Article › peer-review

Original language	American English
Journal	ACM Transactions on Design Automation of Electric Systems
Volume	3
DOIs	https://doi.org/10.1145/296333.296345
State	Published - Oct 1 1998

Disciplines

@article{6268aa847c59493e91a788ac7c945bd1,

title = "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor",

author = "Jim Huggins and \{Van Campenhout\}, David",

year = "1998",

month = oct,

day = "1",

doi = "10.1145/296333.296345",

language = "American English",

volume = "3",

journal = "ACM Transactions on Design Automation of Electric Systems",

}

TY - JOUR

T1 - Specification and Verification of Pipelining in the ARM2 RISC Microprocessor

AU - Huggins, Jim

AU - Van Campenhout, David

PY - 1998/10/1

Y1 - 1998/10/1

U2 - 10.1145/296333.296345

DO - 10.1145/296333.296345

M3 - Article

VL - 3

JO - ACM Transactions on Design Automation of Electric Systems

JF - ACM Transactions on Design Automation of Electric Systems

ER -