Reference Pages

Table of Contents

abctcl — control the ABC synthesis system

abctcl.conf.tcl — ABCTcl configuration file

abc::messages — error messages and message manipulation functions

abc::init — Run and initialize ABC, start communication

abc::done — terminate ABC

abc::command — run an arbitrary ABC command

abc::time — measure time elapsed by ABC

abc::read — read a circuit description into ABC

abc::source — source a script into ABC

abc::print_auto — report circuit autosymmetries

abc::print_fanio — report signal branching and gate input counts in the circuit

abc::print_gates — report staistics of gate types

abc::print_latch — report statistics of latches in the circuit

abc::print_stats — report general circuit statistics

abc::print_symm — report autosymmetries in the circuit

abc::print_unate — report unate functions in the circuit

abc::sec — check circuits equivalence

abc::sat — check staisfiability

abctclstub — a script stub generator for ABCTcl

compare_resyn — a demonstration script for ABCTcl

abctclgui — a graphical front end for ABCTcl