Hmm, I’m realizing I should have provided more context: I have a closed source compiler and disassembler for a mystery ISA (no physical hardware). Can I figure out the available instructions and their semantics?https://twitter.com/moyix/status/1162443206291677184 …
-
-
Replying to @moyix
This might be relatedhttps://github.com/StanfordPL/strata …
3 replies 0 retweets 5 likes -
Replying to @bipartite
I think the existing synthesis approaches require that you be able to execute the code in order to get I/O samples? If I had a real CPU this is the direction I would go, though.
1 reply 0 retweets 1 like -
Replying to @moyix
Could use C code (or whatever your compiler accepts) as an oracle instead of hw?
1 reply 0 retweets 1 like -
Replying to @bipartite @moyix
was going to say this! it's really the only way forward.
1 reply 0 retweets 2 likes -
a collection of a few dozen little litmus tests should give you the core instructions that you need to make everything interesting happen
1 reply 0 retweets 2 likes -
like I don't need to know much about risc-v to figure out this sort of thinghttps://gcc.godbolt.org/z/lIiuWI
1 reply 0 retweets 2 likes -
Replying to @johnregehr @bipartite
Yeah, I've got a set of tests for simple integer and floating point arithmetic right now, going to move up load/store, loops, and conditionals next. Here's your add examplepic.twitter.com/rRiUCNoLWW
5 replies 0 retweets 2 likes
Smells like an interesting research problem..
-
-
Replying to @bipartite @johnregehr
And maybe not a totally useless one either – John linked a post recently about people trying to develop open-source toolchains for those 3¢ microprocessors where I think you may be in a similar situation?
0 replies 0 retweets 2 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.