Package: berkeley-abc (1.01+20181130git163bba5+dfsg-1)

[ Source: berkeley-abc  ]

ABC - Et system for sekventiel syntese og verificering

Dette er et voksende programsystem for syntese og verifikation af binære sekventielle logiske kredsløb, der fremkommer i synkrone udstyrsdesign. ABC kombinerer skalerbar logisk optimering baseret på And-Inverter-grafer (AIG'er), optimal-delay DAG-baseret teknologilægning for opslagstabeller og standardceller og innovative algoritmer for sekventiel syntese og verificering.

ABC tilbyder en eksperimentel implementering af disse algoritmer og et programmeringsmiljø for bygning af lignende programmer. Fremtidig udvikling vil fokusere på forbedring af algoritmerne og at gøre de fleste af pakkerne uafhængige. Dette vil gøre, at brugeren kan tilpasse ABC efter sit behov, som om det var en værktøjskasse frem for et fuldstændigt værktøj.

Other Packages Related to berkeley-abc

• dep: libbz2-1.0

  højkvalitets bloksorteringsfilpakningsbibliotek - kørselstid

• dep: libc6 (>= 2.17)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:3.0)

  GCC støttebibliotek

• dep: libreadline7 (>= 6.0)

  GNU bibliotekerne readline og history - kørselstid

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

  GNU Standard C++ bibliotek v3

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

Download berkeley-abc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64	4,645.9 kB	14,109.0 kB	[list of files]