4 ms·
-Verilog: How about https://chisel.eecs.berkeley.edu/ https://chisel.eecs.berkeley.edu/? Not sure about the pipelining assistance. - COBOL - typesafe macro a
by nn3 8y ago
-Verilog:
How about https://chisel.eecs.berkeley.edu/ https://chisel.eecs.berkeley.edu/?
Not sure about the pipelining assistance.
- COBOL
- typesafe macro assembler:
WASM, low level JVM, .NET IL ...
I think there were some research papers with "real" assembler too.
- pjmlp 8y agoRegarding typesafe macro assembler, "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System" https://www.microsoft.com/en-us/research/publication/safe-to-the-last-instruction-automated-verification-of-a-type-safe-operating-system/?from=http%3A%2F%2Fresearch.microsoft.com%2Fpubs%2F122884%2Fpldi117-yang.pdf https://www.microsoft.com/en-us/research/publication/safe-to... https://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System https://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe... "Introduction to Typed Assembly Language" https://channel9.msdn.com/Shows/Going+Deep/Chris-Hawblitzel-and-Juan-Chen-Introduction-to-Typed-Assembly-Language-TAL https://channel9.msdn.com/Shows/Going+Deep/Chris-Hawblitzel-... "A Garbage-Collecting Typed Assembly Language" https://www.microsoft.com/en-us/research/publication/a-garbage-collecting-typed-assembly-language/ https://www.microsoft.com/en-us/research/publication/a-garba...