A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by kyberias on Wednesday April 24, 2019 @12:40AM (#19735618)

Can this be compiled into an emulator?

[ Parent | on HN ]

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by sanxiyn on Wednesday April 24, 2019 @01:05AM (#19735720)

The semantics is executable but for an emulator you probably want something more efficient. I don't know whether K semantics can be "compiled", so to speak. It probably can with enough effort?

[ Parent | on HN ]

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by marcusarmstrong on Wednesday April 24, 2019 @08:36AM (#19737722)

They can; Grigore was my advisor in college and I’ve seen him demo exactly that.

[ Parent | on HN ]

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by peter_d_sherman on Wednesday April 24, 2019 @12:59AM (#19735703)

Have a look at the Sail ISA specification language: https://news.ycombinator.com/item?id=19735677

[ Parent | on HN ]