Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • V vme_core
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Rimfaxe
  • vme_core
  • Merge requests
  • !2

Formal verification of VME arbiter

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Michael Greve Munch requested to merge formal into arbiter Oct 30, 2019
  • Overview 0
  • Commits 6
  • Pipelines 1
  • Changes 4

I've added formal verification of the VME arbiter.

Among other things it check that we do not have two active clients,
and signals are routed and latched as they should.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: formal