Skip to content
GitLab
    • Why GitLab
    • Pricing
    • Contact Sales
    • Explore
  • Why GitLab
  • Pricing
  • Contact Sales
  • Explore
  • Sign in
  • Get free trial
  • SoSy-LabSoSy-Lab
  • Benchmarking
  • CoVeriTeam Archives
  • Hardware Verifiers
  • Issues
  • #1

Incorporate more top contenders from HWMCC

There are more tools that performed well in HWMCC'20, including Pono and nuXmv. We should try to incorporate them as well.

Steps:

  • Write a tool-info module for the tool
  • Upload a precompiled tool archive to this repository
Edited Jul 13, 2023 by Po-Chun Chien
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking