Package: berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) [debports]

[ Source:  ]

ABC - un sistema per verifica e sintesi sequenziale

Questo è un sistema software in crescita per la sintesi e la verifica di circuiti logici sequenziali che appaiono in progetti di hardware sincrono. ABC combina ottimizzazioni di logica scalabile basate su And-Inverter Graph (AIG), technology mapping con ritardi ottimali basata su DAG per tabelle di associazione e celle standard, e algoritmi innovativi per verifica e sintesi sequenziale.

ABC fornisce un'implementazione sperimentale di tali algoritmi e un ambiente di programmazione per costruire applicazioni simili. Sviluppi futuri si concentreranno nel migliorare gli algoritmi e nel rendere autonoma la maggior parte dei pacchetti. Ciò permetterà agli utenti di personalizzare ABC per le loro necessità come se fosse un insieme di strumenti piuttosto che uno strumento completo.

Other Packages Related to berkeley-abc

• dep: libbz2-1.0

  libreria compressione file a ordinamento blocchi di alta qualità - runtime

• dep: libc6 (>= 2.34)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.4)

  libreria di supporto a GCC

• dep: libreadline8 (>= 6.0)

  librerie GNU readline ed history, librerie eseguibili

• dep: libstdc++6 (>= 11)

  libreria GNU Standard C++, versione 3

• dep: zlib1g (>= 1:1.1.4)

  libreria di compressione - runtime

Download berkeley-abc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
riscv64 (unofficial port)	5,184.6 kB	11,926.0 kB	[list of files]