在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
开源软件名称(OpenSource Name):mit-plv/riscv-semantics开源软件地址(OpenSource Url):https://github.com/mit-plv/riscv-semantics开源编程语言(OpenSource Language):Haskell 60.7%开源软件介绍(OpenSource Introduction):]riscv-semantics [Here lies a formal specification of the RISC-V ISA, written in Haskell. It is meant to serve many audiences. First, it should be readable as documentation of the ISA, for, say, hardware and compiler engineers with no background in formal verification or functional programming. The next section suggests how such readers should get started. Second, it should be executable as an oracle for test cases and so on. See the later sections here for build-and-run instructions. Finally, people with sufficient Haskell background should be able to understand subtleties of the semantics and even extend with new features. More documentation for that class of users may be forthcoming! How to Read this Spec
Installation GuideInstall StackThis project uses stack to manage the Haskell compiler and the project's dependencies.
Even though there is a package for stack that can be installed using
Compile the ProjectThere is a Makefile with recipes to compile the project, the elf2hex utility, and all the tests.
Building the tests requires a recent version of
If you do not have the compiler in your path, this command will fail. To install the compiler and add it to your path:
Simulating an Example ProgramTo simulate an example program, run the command
This invocation should produce the output
Run riscv-testsTo run the default 64-bit executable simulator on riscv-tests:
Generation of Verilog (work in progress)
The output will be in To get rid of intermediate files created in the
|
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论