×

zbMATH — the first resource for mathematics

Synthesis of processor instruction sets from high-level ISA specifications. (English) Zbl 1364.68038
Editorial remark: No review copy delivered.

MSC:
68M07 Mathematical problems of computer architecture
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI