Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Automatic verification of pipelined microprocessor control

1994493 citationsBook Chapterbronze Open Access

Authors

Jerry R. Burch · Stanford University

David L. Dill · Stanford University

Topics & Keywords

Formal Methods in Verification Radiation Effects in Electronics Embedded Systems Design Techniques

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-58179-0_44

Field-Weighted Citation Impact: 27.94

Automatic verification of pipelined microprocessor control | Researchclopedia