Versions Packages Information History Badges Report

Information for abc

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