Versions Packages Information History Related Badges Report

Information for abc

Versions

  • 1.01
  • 2022.07.27
  • 2022.03.22
  • 2020.11.24
  • 1.01+20220610git8eb651c
  • 1.01+20211229git48498af
  • 1.01.20210519
  • 1.01+20201124
  • 1.01+20191006git52a8ebb
  • 1.01+20181130git163bba5
  • 1.01+20161002hgeb6eca6
  • 1.01+20150706hgc3698e0
  • 1.01+20140822hg4d547a5
  • 1.01
  • 1.0.0
  • 0.0-1.5ae4b97
  • 0.0.0.20200911
  • g20200322

Package names

  • abc (6)
  • abc-git
  • abc-verifier
  • berkeley-abc (2)

Repositories

Categories

  • Unspecified
  • cad (2)
  • misc
  • universe/misc

Licenses

  • Apache-2.0
  • BSD
  • BSD-2-Clause
  • BSD-4-Clause
  • MIT (4)
  • MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
  • custom:University-of-California

Summaries

  • A tool for squential logic synthesis and formal verification
  • Sequential logic synthesis and formal verification (2)
  • System for Sequential Logic Synthesis and Formal Verification
  • System for Sequential Synthesis and Verification
  • System for sequential synthesis and verification
  • system for sequential logic synthesis and verification

Maintainers

All package recipes

Downloads

Build logs