Work

Using term rewriting systems to design and verify processors

Year: 1999

Type: article

Source: IEEE Micro

DOI: 10.1109/40.768501

Authors: Arvind, X. Shen

Institution: Massachusetts Institute of Technology

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: U.S. Department of Defense, Advanced Research Projects Agency

OpenAlex ID: W1973456473

FWCI: 7.831

Cites: 12

Cited by: 77

Related to: 10