Abstraction of hardware construction
From MaRDI portal
Publication:4645815
DOI10.1007/3-540-61254-8_30zbMATH Open1407.68048OpenAlexW1841475614MaRDI QIDQ4645815FDOQ4645815
Authors: Liguo Wang, Michael Mendler 
Publication date: 11 January 2019
Published in: Higher-Order Algebra, Logic, and Term Rewriting (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61254-8_30
Recommendations
- scientific article; zbMATH DE number 884995
- scientific article; zbMATH DE number 514046
- scientific article; zbMATH DE number 796294
- Abstracting abstract machines
- Abstract Interpretation of the Physical Inputs of Embedded Programs
- Abstract interfaces of input/output logic
- Synthesizable high level hardware descriptions
- Systematic abstraction of abstract machines
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- FM8501: a verified microprocessor
- Title not available (Why is that?)
- Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (1)
Uses Software
This page was built for publication: Abstraction of hardware construction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645815)
