Tech: Formal Specification Task Group tech-formalspec@lists.riscv.org

Formal Specification Task Group

This group will produce a Formal Specification for the RISC-V ISA. This is a specification of the ISA in a formal language, for precision, unambiguity, consistency and completeness. It should be readable and understandable as a canonical reference by practising CPU architects and compiler writers.  It should executable and machine-manipulable for use in formal tools for establishing correctness and transformations in both compilers and CPU designs. [ This work is closely related to and complementary to the work of the  Memory Model Task Group ]

Group Information

  • 126 Members
  • 2 Topics, Last Post:
  • Started on
  • Feed

Group Email Addresses

Group Settings

  • This is a subgroup of main.
  • All members can post to the group.
  • Posts to this group do not require approval from the moderators.
  • Messages are set to reply to sender.
  • Subscriptions to this group do not require approval from the moderators.
  • Archive is visible to anyone.
  • Wiki is visible to members only.
  • Members can edit their messages.
  • Members can set their subscriptions to no email.

Top Hashtags [See All]

No used hashtags.

 or  Log In If You Are Already A Member

Message History