Linux repositories inspector

alliance - VLSI EDA System

Alliance is a complete set of free CAD tools and portable libraries for VLSI design. It includes a VHDL compiler and simulator, logic synthesis tools, and automatic place and route tools.
A complete set of portable CMOS libraries is provided, including a RAM generator, a ROM generator and a data-path compiler.
Alliance is the result of more than ten years effort spent at ASIM department of LIP6 laboratory of the Pierre et Marie Curie University (Paris VI, France).
Alliance has been used for research projects such as the 875 000 transistors StaCS superscalar microprocessor and 400 000 transistors IEEE Gigabit HSL Router.
Alliance provides CAD tools covering most of all the digital design flow:
  • VHDL Compilation and Simulation
  • Model checking and formal proof
  • RTL and Logic synthesis
  • Data-Path compilation
  • Macro-cells generation
  • Place and route
  • Layout edition
  • Netlist extraction and verification
  • Design rules checking
5.1.1
Debian iconDebian 10.0
Debian iconDebian 9.0
Fedora iconFedora 28
Fedora iconFedora 29
Fedora iconFedora 30
Fedora iconFedora 31
Fedora iconFedora rawhide
Ubuntu iconUbuntu 17.10
Ubuntu iconUbuntu 18.04 LTS
Ubuntu iconUbuntu 18.10
Ubuntu iconUbuntu 19.04
Ubuntu iconUbuntu 16.04 LTS
DistributionVersionSincePackageInstalledPackager
Debian iconDebian 10.0 buster/maindeb5.1.1-32019-01-124.98 MiB16.6 MiB
Debian iconDebian 9.0 stretch/maindeb5.1.1-1.1+b12017-11-104.98 MiB16.6 MiB
Fedora iconFedora 28 releases/Everything-osrpm5.1.1-13.20160506gitd8c05cd.fc282019-01-141.92 MiB10.1 MiBFedora Project
Fedora iconFedora 29 releases/Everything-osrpm5.1.1-14.20160506gitd8c05cd.fc292019-01-141.91 MiB10.3 MiBFedora Project
Fedora iconFedora 29 releases-test/Everything-osrpm5.1.1-14.20160506gitd8c05cd.fc292019-01-141.91 MiB10.3 MiBFedora Project
Fedora iconFedora 30 releases/Everything-osrpm5.1.1-15.20160506gitd8c05cd.fc302019-06-171.84 MiB11.5 MiBFedora Project
Fedora iconFedora 31 releases/Everything-osrpm5.1.1-16.20160506gitd8c05cd.fc312020-01-071.82 MiB10.4 MiBFedora Project
Fedora iconFedora rawhide development/Everything-osrpm5.1.1-18.20160506gitd8c05cd.fc332020-02-231.83 MiB10.2 MiBFedora Project
Ubuntu iconUbuntu 17.10 artful/universedeb5.1.1-1.12017-11-104.96 MiB16.3 MiB
Ubuntu iconUbuntu 18.04 LTS bionic/universedeb5.1.1-1.1build12018-06-194.99 MiB16.6 MiB
Ubuntu iconUbuntu 18.10 cosmic/universedeb5.1.1-32019-01-144.99 MiB16.6 MiB
Ubuntu iconUbuntu 19.04 disco/universedeb5.1.1-32019-01-144.99 MiB16.6 MiB
Ubuntu iconUbuntu 16.04 LTS xenial/universedeb5.1.1-1.12017-11-104.96 MiB16.3 MiB

Applications

Alliance: FSM Viewer

View Finite State Machines

Alliance: Graphic Graph Viewer

View the graphic graph

Alliance: Layout Editor

Edits physical layouts

Alliance: Layout Viewer

View the Real layout

Alliance: Patterns Viewer

View the Patterns

Alliance: Petri Nets Viewer

View the Petri Nets

Alliance: Schematic Viewer

View the Schematic

Manual pages

abl(1)

abl - Prefixed representation for boolean functions
[Include document man1/alc_origin.1]

alcbanner(1)

alcbanner - Display a standardized banner for Alliance tools
[Include document man1/alc_origin.1]

alliance-genpat(1)

genpat, A procedural pattern file generator

alliance-ocp(1)

ocp - Standard Cell Placer
[Include document man1/alc_origin.1]

asimut(1)

asimut - A simulation tool for hardware descriptions
[Include document man1/alc_origin.1]

attila(1)

attila - A Tool Installer

aut(1)

aut - Memory allocation, and hash tables management
[Include document man1/alc_origin.1]

bdd(1)

bdd - Mutli Reduced Ordered Binary Decision Diagrams
[Include document man1/alc_origin.1]

boog(1)

BooG - Binding and Optimizing On Gates.
[Include document man1/alc_origin.1]

boom(1)

BOOM - BOOlean Minimization
[Include document man1/alc_origin.1]

cougar(1)

cougar - Hierarchical netlist extractor

dreal(1)

dreal - Graphic real layout viewer

druc(1)

druc - Design Rule Checker

exp(1)

exp - a multiple expession calculator.
[Include document man1/origin.1]

flatbeh(1)

flatbeh - Synthetize a behavioral description from a structural description

flatlo(1)

flatlo - FLATen LOgical figure
[Include document man1/alc_origin.1]

flatph(1)

flatph - FLATen PHysical figure
[Include document man1/alc_origin.1]

fmi(1)

fmi - FSM state miminization
[Include document man1/alc_origin.1]

fsm(1)

fsm - Finite State Machine representation.
[Include document man1/alc_origin.1]

fsp(1)

fsp - Formal proof between two FSM descriptions
[Include document man1/alc_origin.1]

genlib(1)

genlib - Procedural design language based upon C.

graal(1)

graal - symbolic layout editor

k2f(1)

k2f, FSM translator ALLIANCE format from/to Berkeley format
[Include document man1/alc_origin.1]

l2p(1)

l2p - Creates a PostScript file from a symbolic layout file,or from a physical layout file.
[Include document man1/alc_origin.1]

log(1)

log - logical representations for boolean functions and utilities.
[Include document man1/alc_origin.1]

loon(1)

LooN - Local optimizations of Nets.
[Include document man1/alc_origin.1]

lvx(1)

lvx - Logical Versus eXtracted net-list comparator

MBK_CATAL_NAME(1)

MBK_CATAL_NAME - define the mbk catalog file

MBK_CATA_LIB(1)

MBK_CATA_LIB - define the mbk catalog directory

MBK_CK(1)

MBK_CK - define the clock name pattern

MBK_FILTER_SFX(1)

MBK_FILTER_SFX - define the input\/output filter suffixe.
[Include document man1/alc_origin.1]

MBK_IN_FILTER(1)

MBK_IN_FILTER - define the input filter
[Include document man1/alc_origin.1]

MBK_IN_LO(1)

MBK_IN_LO - define the logical input format of mbk and genlib

MBK_IN_PH(1)

MBK_IN_PH - define the physical input format of mbk and genlib

MBK_OUT_FILTER(1)

MBK_OUT_FILTER - define the input filter
[Include document man1/alc_origin.1]

MBK_OUT_LO(1)

MBK_OUT_LO - define the logical output format of mbk and genlib

MBK_OUT_PH(1)

MBK_OUT_PH - define the physical output format of mbk and genlib

MBK_SEPAR(1)

MBK_SEPAR - define the separator character for hierarchy

MBK_TRACE_GETENV(1)

MBK_TRACE_GETENV - defines getenv() debug output
[Include document man1/alc_origin.1]

MBK_VDD(1)

MBK_VDD - define the high level power name pattern

MBK_VSS(1)

MBK_VSS - define the ground power name pattern

MBK_WORK_LIB(1)

MBK_WORK_LIB - define the mbk working directory

moka(1)

MOKA - Model checker ancestor
[Include document man1/alc_origin.1]

nero(1)

nero - Negotiating Router

pat2spi(1)

pat2spi, PAT ALLIANCE format translator to Spice PWL format
[Include document man1/alc_origin.1]

proof(1)

proof - Formal proof between two behavioural descriptions
[Include document man1/alc_origin.1]

ring(1)

RING - PAD RING router

s2r(1)

s2r - Process mapping from symbolic layout to physical layout

scapin(1)

scapin - Scan path insertion
[Include document man1/alc_origin.1]

syf(1)

SYF - Finite State Machine synthesizer.
[Include document man1/alc_origin.1]

vasy(1)

VASY - VHDL Analyzer for Synthesis
[Include document man1/alc_origin.1]

x2y(1)

x2y - Netlist Format converter
[Include document man1/alc_origin.1]

xpat(1)

xpat - graphic pattern viewer

xsch(1)

xsch - graphical schematic viewer

abl(1alc)

abl - Prefixed representation for boolean functions
[Include document man1/alc_origin.1alc]

alcbanner(1alc)

alcbanner - Display a standardized banner for Alliance tools
[Include document man1/alc_origin.1alc]

asimut(1alc)

asimut - A simulation tool for hardware descriptions
[Include document man1/alc_origin.1alc]

aut(1alc)

aut - Memory allocation, and hash tables management
[Include document man1/alc_origin.1alc]

bdd(1alc)

bdd - Mutli Reduced Ordered Binary Decision Diagrams
[Include document man1/alc_origin.1alc]

boog(1alc)

BooG - Binding and Optimizing On Gates.
[Include document man1/alc_origin.1alc]

boom(1alc)

BOOM - BOOlean Minimization
[Include document man1/alc_origin.1alc]

cougar(1alc)

cougar - Hierarchical netlist extractor

dreal(1alc)

dreal - Graphic real layout viewer

druc(1alc)

druc - Design Rule Checker

exp(1alc)

exp - a multiple expession calculator.
[Include document man1/origin.1]

flatbeh(1alc)

flatbeh - Synthetize a behavioral description from a structural description

flatlo(1alc)

flatlo - FLATen LOgical figure
[Include document man1/alc_origin.1alc]

flatph(1alc)

flatph - FLATen PHysical figure
[Include document man1/alc_origin.1alc]

fmi(1alc)

fmi - FSM state miminization
[Include document man1/alc_origin.1alc]

fsm(1alc)

fsm - Finite State Machine representation.
[Include document man1/alc_origin.1alc]

fsp(1alc)

fsp - Formal proof between two FSM descriptions
[Include document man1/alc_origin.1alc]

genlib(1alc)

genlib - Procedural design language based upon C.

genpat(1alc)

genpat, A procedural pattern file generator

graal(1alc)

graal - symbolic layout editor

k2f(1alc)

k2f, FSM translator ALLIANCE format from/to Berkeley format
[Include document man1/alc_origin.1alc]

l2p(1alc)

l2p - Creates a PostScript file from a symbolic layout file,or from a physical layout file.
[Include document man1/alc_origin.1alc]

log(1alc)

log - logical representations for boolean functions and utilities.
[Include document man1/alc_origin.1alc]

loon(1alc)

LooN - Local optimizations of Nets.
[Include document man1/alc_origin.1alc]

lvx(1alc)

lvx - Logical Versus eXtracted net-list comparator

MBK_CATAL_NAME(1alc)

MBK_CATAL_NAME - define the mbk catalog file

MBK_CATA_LIB(1alc)

MBK_CATA_LIB - define the mbk catalog directory

MBK_CK(1alc)

MBK_CK - define the clock name pattern

MBK_FILTER_SFX(1alc)

MBK_FILTER_SFX - define the input\/output filter suffixe.
[Include document man1/alc_origin.1alc]

MBK_IN_FILTER(1alc)

MBK_IN_FILTER - define the input filter
[Include document man1/alc_origin.1alc]

MBK_IN_LO(1alc)

MBK_IN_LO - define the logical input format of mbk and genlib

MBK_IN_PH(1alc)

MBK_IN_PH - define the physical input format of mbk and genlib

MBK_OUT_FILTER(1alc)

MBK_OUT_FILTER - define the input filter
[Include document man1/alc_origin.1alc]

MBK_OUT_LO(1alc)

MBK_OUT_LO - define the logical output format of mbk and genlib

MBK_OUT_PH(1alc)

MBK_OUT_PH - define the physical output format of mbk and genlib

MBK_SEPAR(1alc)

MBK_SEPAR - define the separator character for hierarchy

MBK_TRACE_GETENV(1alc)

MBK_TRACE_GETENV - defines getenv() debug output
[Include document man1/alc_origin.1alc]

MBK_VDD(1alc)

MBK_VDD - define the high level power name pattern

MBK_VSS(1alc)

MBK_VSS - define the ground power name pattern

MBK_WORK_LIB(1alc)

MBK_WORK_LIB - define the mbk working directory

moka(1alc)

MOKA - Model checker ancestor
[Include document man1/alc_origin.1alc]

nero(1alc)

nero - Negotiating Router

ocp(1alc)

ocp - Standard Cell Placer
[Include document man1/alc_origin.1alc]

pat2spi(1alc)

pat2spi, PAT ALLIANCE format translator to Spice PWL format
[Include document man1/alc_origin.1alc]

proof(1alc)

proof - Formal proof between two behavioural descriptions
[Include document man1/alc_origin.1alc]

ring(1alc)

RING - PAD RING router

s2r(1alc)

s2r - Process mapping from symbolic layout to physical layout

scapin(1alc)

scapin - Scan path insertion
[Include document man1/alc_origin.1alc]

syf(1alc)

SYF - Finite State Machine synthesizer.
[Include document man1/alc_origin.1alc]

vasy(1alc)

VASY - VHDL Analyzer for Synthesis
[Include document man1/alc_origin.1alc]

x2y(1alc)

x2y - Netlist Format converter
[Include document man1/alc_origin.1alc]

xpat(1alc)

xpat - graphic pattern viewer

xsch(1alc)

xsch - graphical schematic viewer

ablToBddCct(3)

ablToBddCct - converts an ABL into a BDD within a circuit

addablhexpr(3)

addablhexpr - adds a new argument in head of an expression.
[Include document man1/alc_origin.1]

addablqexpr(3)

addablqexpr - adds a new argument in queue of an expression.
[Include document man1/alc_origin.1]

addbddassoc(3)

addbddassoc - creates a new association variables.
[Include document man1/alc_origin.1]

addbddcircuitabl(3)

addbddcircuitabl - converts an abl expression to a bdd node.
[Include document man1/alc_origin.1]

addbddcircuitin(3)

addbddcircuitin - adds an input in a bdd circuit.
[Include document man1/alc_origin.1]

addbddcircuitout(3)

addbddcircuitout - adds an output in a bdd circuit.
[Include document man1/alc_origin.1]

addbddnode(3)

addbddnode - adds a new bdd node in the bdd system.
[Include document man1/alc_origin.1]

addbddnodeassoc(3)

addbddnodeassoc - adds a bdd node in a variable association.
[Include document man1/alc_origin.1]

addbddnodelist(3)

addbddnodelist - adds a node in a chain_list.
[Include document man1/alc_origin.1]

addbddvar(3)

addbddvar - adds a new variable in the bdd system.
[Include document man1/alc_origin.1]

addbddvarafter(3)

addbddvarafter - adds a new variable, after an existing one.
[Include document man1/alc_origin.1]

addbddvarbefore(3)

addbddvarbefore - adds a new variable, before an existing one.
[Include document man1/alc_origin.1]

addbddvarfirst(3)

addbddvarfirst - adds a new variable, before all others.
[Include document man1/alc_origin.1]

addbddvarlast(3)

addbddvarlast - adds a new variable, after all others.
[Include document man1/alc_origin.1]

addcapa(3)

addcapa - add a capacitance to a signal
[Include document man1/alc_origin.1]

addchain(3)

addchain - create a chain and add it to a list
[Include document man1/alc_origin.1]

addht(3)

addht - create an hash table
[Include document man1/alc_origin.1]

addhtitem(3)

addhtitem - adds a new item in a hash table.
[Include document man1/alc_origin.1]

addListBdd(3)

addListBdd - adds a BDD to a chained list of BDDs

addlocap(3)

addlocap - create a logical capacitor
[Include document man1/alc_origin.1]

addlocon(3)

addlocon - create a logical connector
[Include document man1/alc_origin.1]

addlofig(3)

addlofig - create a new structural cell model
[Include document man1/alc_origin.1]

addloins(3)

addloins - create a logical instance
[Include document man1/alc_origin.1]

addlomodel(3)

addlomodel - create a tempotary logical model and add it to a list
[Include document man1/alc_origin.1]

addlores(3)

addlores - create a logical resistor
[Include document man1/alc_origin.1]

addloself(3)

addloself - create a logical inductor
[Include document man1/alc_origin.1]

addlosig(3)

addlosig - create a logical signal
[Include document man1/alc_origin.1]

addlotrs(3)

addlotrs - create a logical transistor
[Include document man1/alc_origin.1]

addnum(3)

addnum - create a num and add it to a list
[Include document man1/alc_origin.1]

addphcon(3)

addphcon - create a physical connector
[Include document man1/alc_origin.1]

addphfig(3)

addphfig - create a new physical cell model
[Include document man1/alc_origin.1]

addphins(3)

addphins - create a physical instance
[Include document man1/alc_origin.1]

addphref(3)

addphref - create a physical reference
[Include document man1/alc_origin.1]

addphseg(3)

addphseg - create a physical segment
[Include document man1/alc_origin.1]

addphvia(3)

addphvia - create a physical via
[Include document man1/alc_origin.1]

addptype(3)

addptype - create a ptype and add it to a ptype_list
[Include document man1/alc_origin.1]

addrdsfig(3)

addrdsfig - adds a figure
[Include document man1/alc_origin.1]

addrdsfigrec(3)

addrdsfigrec - adds a rectangle to a figure
[Include document man1/alc_origin.1]

addrdsins(3)

addrdsins - adds an instance to a figure
[Include document man1/alc_origin.1]

addrdsinsrec(3)

addrdsinsrec - adds a rectangle to an instance
[Include document man1/alc_origin.1]

addrdsrecwindow(3)

addrdsrecwindow - adds a rectangle in the windowing of rds structure.
[Include document man1/alc_origin.1]

AFFECT(3)

AFFECT, GENPAT Package
[Include document man1/alc_origin.1]

alliance-log(3)

log - logical representations for boolean functions and utilities.
[Include document man1/alc_origin.1]

alliancebanner(3)

alliancebanner - display the standardized Alliance banner
[Include document man1/alc_origin.1]

allocrdsfig(3)

allocrdsfig - allocs memory for a figure
[Include document man1/alc_origin.1]

allocrdsins(3)

allocrdsins - allocates memory for an instance
[Include document man1/alc_origin.1]

allocrdsrec(3)

allocrdsrec - allocates memory for a rectangle
[Include document man1/alc_origin.1]

allocrdsrecwin(3)

allocrdsrecwin - allocates a structure used to know windows which contains a rectangle.
[Include document man1/alc_origin.1]

allocrdswin(3)

allocrdswin - allocates window’s table
[Include document man1/alc_origin.1]

allocrdswindow(3)

allocrdswindow - allocates a window structure
[Include document man1/alc_origin.1]

allocrdswinrec(3)

allocrdswinrec - allocates a structure used to create a list of tables of rectangles.
[Include document man1/alc_origin.1]

append(3)

append - append a chain_list to an other chain_list
[Include document man1/alc_origin.1]

applyBdd(3)

applyBdd - applies an operator to a list of BDD.

applybddnode(3)

applybddnode - applies an operator on two bdd nodes.
[Include document man1/alc_origin.1]

applybddnodeite(3)

applybddnodeite - computes the IF-THEN-ELSE logical operation.
[Include document man1/alc_origin.1]

applybddnodelist(3)

applybddnodelist - applies an opertor to a bdd nodes list.
[Include document man1/alc_origin.1]

applybddnodenot(3)

applybddnodenot - complements a bdd.
[Include document man1/alc_origin.1]

applybddnodeterm(3)

applybddnodeterm - applies an operator on two bdd nodes.
[Include document man1/alc_origin.1]

applyBinBdd(3)

applyBinBdd - applies an operator to two BDD.

ARRAY(3)

array - The array library interface

autallocblock(3)

autallocblock - memory allocator
[Include document man1/alc_origin.1]

autallocheap(3)

autallocheap - heap memory allocator
[Include document man1/alc_origin.1]

autfreeblock(3)

autfreeblock - releases a memory block
[Include document man1/alc_origin.1]

autfreeheap(3)

autfreeheap - releases a memory block, and put it on the heap.
[Include document man1/alc_origin.1]

auth2elem(3)

auth2elem - element in an hash table with two keys.

auth2table(3)

auth2table - hash table structure

authelem(3)

authelem - element in an hash table

authtable(3)

authtable - hash table structure

autresizeblock(3)

autresizeblock - resizes a memory block
[Include document man1/alc_origin.1]

bddToAblCct(3)

bddToAblCct - converts a BDD into an ABL within a circuit

beh(3)

BEH - Generic behavioural data structures

beh_debug(3)

beh_debug - BEH structures displayer-debugger

beh_depend(3)

beh_depend - compute forward dependencies in a description

beh_error(3)

beh_error

beh_makbdd(3)

beh_makbdd - create a BDD for each expression in a description

beh_makgex(3)

beh_makgex - create a GEX for each expression in a description

beh_message(3)

beh_message

bigvia(3)

bigvia - draws a non minimal via as a bunch of vias
[Include document man1/alc_origin.1]

buildrdswindow(3)

buildrdswindow - builds windowing of a figure
[Include document man1/alc_origin.1]

chain(3)

chain - mbk lisp-like service structure

checkloconorder(3)

checkloconorder - checks the consistency of a list of logical connectors
[Include document man1/alc_origin.1]

clearbddsystemref(3)

clearbddsystemref - clears the references for all bdd nodes.
[Include document man1/alc_origin.1]

clearbddsystemrefext(3)

clearbddsystemrefext - clears the external references for all bdd nodes.
[Include document man1/alc_origin.1]

clearbddsystemrefint(3)

clearbddsystemrefint - clears the internal references for all bdd nodes.
[Include document man1/alc_origin.1]

cofactorbddnode(3)

cofactorbddnode - computes the generalized cofactor.
[Include document man1/alc_origin.1]

composeBdd(3)

composeBdd - substitutes an index by a BDD in another BDD

composebddnode(3)

composebddnode - substitutes a variable by a bdd in another bdd.
[Include document man1/alc_origin.1]

concatname(3)

concatname - concatenate two names with user separator
[Include document man1/alc_origin.1]

conmbkrds(3)

conmbkrds - converts MBK connector to RDS rectangle
[Include document man1/alc_origin.1]

constraintBdd(3)

constraintBdd - restricts a BDD to another BDD

convertbddcircuitabl(3)

convertbddcircuitabl - converts a bdd node to an abl expression.
[Include document man1/alc_origin.1]

convertbddcircuitsumabl(3)

convertbddcircuitsumabl - converts a bdd node to an abl expression.
[Include document man1/alc_origin.1]

convertbddindexabl(3)

convertbddindexabl - converts a bdd index to an abl expression.
[Include document man1/alc_origin.1]

convertbddmuxabl(3)

convertbddmuxabl - converts two bdd nodes to an abl multiplexor expression.
[Include document man1/alc_origin.1]

convertbddnodeabl(3)

convertbddnodeabl - converts a bdd node to an abl expression.
[Include document man1/alc_origin.1]

convertbddnodesumabl(3)

convertbddnodesumabl - converts a bdd node to an abl expression.
[Include document man1/alc_origin.1]

createablatom(3)

createablatom - creates an atomic expression.
[Include document man1/alc_origin.1]

createablbinexpr(3)

createablbinexpr - creates a binary operator expression.
[Include document man1/alc_origin.1]

createablnotexpr(3)

createablnotexpr - complements an expression.
[Include document man1/alc_origin.1]

createabloper(3)

createabloper - creates the head of an operator expression.
[Include document man1/alc_origin.1]

createablunaryexpr(3)

createablunaryexpr - creates an unary operator expression.
[Include document man1/alc_origin.1]

createablxorbinexpr(3)

createablxorbinexpr - creates an ’xor’ or ’xnor’ operator expression.
[Include document man1/alc_origin.1]

createbddcircuit(3)

createbddcircuit - creates a bdd circuit.
[Include document man1/alc_origin.1]

createbddsystem(3)

createbddsystem - creates a bdd system.
[Include document man1/alc_origin.1]

createNodeTermBdd(3)

createNodeTermBdd - creates a terminal node of variable.

decbddrefext(3)

decbddrefext - decrements the external reference of a bdd node.
[Include document man1/alc_origin.1]

decbddrefint(3)

decbddrefint - decrements the internal reference of a bdd node.
[Include document man1/alc_origin.1]

DECLAR(3)

DECLAR, GENPAT Package
[Include document man1/alc_origin.1]

defab(3)

defab - defines the abutment box of a phfig
[Include document man1/alc_origin.1]

DEF_GENPAT(3)

DEF_GENPAT, GENPAT Package
[Include document man1/alc_origin.1]

delablexpr(3)

delablexpr - deletes an expression.
[Include document man1/alc_origin.1]

delablexprnum(3)

delablexprnum - deletes an operand in an expression.
[Include document man1/alc_origin.1]

delbddassoc(3)

delbddassoc - deletes a variable association.
[Include document man1/alc_origin.1]

delbddcircuitout(3)

delbddcircuitout - deletes an output in a bdd circuit.
[Include document man1/alc_origin.1]

delbddnode(3)

delbddnode - deletes an unused bdd node.
[Include document man1/alc_origin.1]

delbddnodeassoc(3)

delbddnodeassoc - deletes a bdd node in a variable association.
[Include document man1/alc_origin.1]

delbddnodelist(3)

delbddnodelist - deletes a list of bdd nodes.
[Include document man1/alc_origin.1]

delchain(3)

delchain - delete an element of a chain_list
[Include document man1/alc_origin.1]

delht(3)

delht - removes an hash table
[Include document man1/alc_origin.1]

delhtitem(3)

delhtitem - removes an item in an hash table
[Include document man1/alc_origin.1]

dellocap(3)

dellocap - delete a logical capacitor
[Include document man1/alc_origin.1]

dellocon(3)

dellocon - delete a logical connector
[Include document man1/alc_origin.1]

dellofig(3)

dellofig - delete and free a logical figure
[Include document man1/alc_origin.1]

delloins(3)

delloins - delete a logical instance
[Include document man1/alc_origin.1]

dellores(3)

dellores - delete a logical resistor
[Include document man1/alc_origin.1]

delloself(3)

delloself - delete a logical inductor
[Include document man1/alc_origin.1]

dellosig(3)

dellosig - delete a logical signal
[Include document man1/alc_origin.1]

dellotrs(3)

dellotrs - delete a logical transistor
[Include document man1/alc_origin.1]

delnum(3)

delnum - delete an element of a num_list
[Include document man1/alc_origin.1]

delphcon(3)

delphcon - delete a physical connector
[Include document man1/alc_origin.1]

delphfig(3)

delphfig - delete and free a physical figure
[Include document man1/alc_origin.1]

delphins(3)

delphins - delete a physical instance
[Include document man1/alc_origin.1]

delphref(3)

delphref - delete a physical reference
[Include document man1/alc_origin.1]

delphseg(3)

delphseg - delete a physical segment
[Include document man1/alc_origin.1]

delphvia(3)

delphvia - delete a physical via
[Include document man1/alc_origin.1]

delptype(3)

delptype - delete an element of a ptype_list
[Include document man1/alc_origin.1]

delrdsfig(3)

delrdsfig - deletes a figure
[Include document man1/alc_origin.1]

delrdsfigrec(3)

delrdsfigrec - deletes a rectangle of a figure
[Include document man1/alc_origin.1]

delrdsins(3)

delrdsins - deletes an instance of a figure
[Include document man1/alc_origin.1]

delrdsinsrec(3)

delrdsinsrec - deletes a rectangle of an instance
[Include document man1/alc_origin.1]

delrdsrecwindow(3)

delrdsrecwindow - deletes a rectangle from the windowing of rds structure.
[Include document man1/alc_origin.1]

destroyBdd(3)

destroyBdd - removes the BDDs system

destroybddassoc(3)

destroybddassoc - frees all the variable associations.
[Include document man1/alc_origin.1]

destroybddcircuit(3)

destroybddcircuit - destroys a bdd circuit.
[Include document man1/alc_origin.1]

destroybddsystem(3)

destroybddsystem - destroys a bdd system.
[Include document man1/alc_origin.1]

destroyrdswindow(3)

destroyrdswindow - destroys windowing of a figure
[Include document man1/alc_origin.1]

devablxorexpr(3)

devablxorexpr - develops ’xor’, ’nxor’ in an expression.
[Include document man1/alc_origin.1]

devdupablxorexpr(3)

devdupablxorexpr - duplicates and develops ’xor’, ’nxor’.
[Include document man1/alc_origin.1]

displayBdd(3)

displayBdd - displays a BDD

downstr(3)

downstr - convert a string to lower case
[Include document man1/alc_origin.1]

DPGEN_ADSB2F(3)

DPGEN_ADSB2F - Adder/Substractor Macro-Generator

DPGEN_AND2(3)

DPGEN_AND2 - AND2 Macro-Generator

DPGEN_AND3(3)

DPGEN_AND3 - AND3 Macro-Generator

DPGEN_AND4(3)

DPGEN_AND4 - AND4 Macro-Generator

DPGEN_BUFF(3)

DPGEN_BUFF - Buffer Macro-Generator

DPGEN_BUSE(3)

DPGEN_BUSE - tristate Macro-Generator

DPGEN_CONST(3)

DPGEN_CONST - Constant Macro-Generator

DPGEN_DFF(3)

DPGEN_DFF - Dynamic Flip-Flop Macro-Generator

DPGEN_DFFT(3)

DPGEN_DFFT - Dynamic Flip-Flop with Scan-Path Macro-Generator

DPGEN_FIFO(3)

DPGEN_FIFO - FIFO Macro-Generator

DPGEN_INV(3)

DPGEN_INV - Inverter Macro-Generator

DPGEN_MUX2(3)

DPGEN_MUX2 - Multiplexer Macro-Generator

DPGEN_NAND2(3)

DPGEN_NAND2 - NAND2 Macro-Generator

DPGEN_NAND2MASK(3)

DPGEN_NAND2MASK - Programmable Mask Macro-Generator

DPGEN_NAND3(3)

DPGEN_NAND3 - NAND3 Macro-Generator

DPGEN_NAND4(3)

DPGEN_NAND4 - NAND4 Macro-Generator

DPGEN_NBUSE(3)

DPGEN_NBUSE - Tristate Macro-Generator

DPGEN_NMUX2(3)

DPGEN_NMUX2 - Multiplexer Macro-Generator

DPGEN_NOR2(3)

DPGEN_NOR2 - NOR2 Macro-Generator

DPGEN_NOR2MASK(3)

DPGEN_NOR2MASK - Programmable Mask Macro-Generator

DPGEN_NOR3(3)

DPGEN_NOR3 - NOR3 Macro-Generator

DPGEN_NOR4(3)

DPGEN_NOR4 - NOR4 Macro-Generator

DPGEN_NUL(3)

DPGEN_NUL - Zero Detector Macro-Generator

DPGEN_OR2(3)

DPGEN_OR2 - OR2 Macro-Generator

DPGEN_OR3(3)

DPGEN_OR3 - OR3 Macro-Generator

DPGEN_OR4(3)

DPGEN_OR4 - OR4 Macro-Generator

DPGEN_RF1(3)

DPGEN_RF1, DPGEN_RF1R0 - Register File Macro-Generator

DPGEN_RF1D(3)

DPGEN_RF1D, DPGEN_RF1DR0 - Register File with Decoder Macro-Generator

DPGEN_ROM2(3)

DPGEN_ROM2 - 2 words ROM Macro-Generator

DPGEN_ROM4(3)

DPGEN_ROM4 - 4 words ROM Macro-Generator

DPGEN_SFF(3)

DPGEN_SFF - Static Flip-Flop Macro-Generator

DPGEN_SFFT(3)

DPGEN_SFFT - Static Flip-Flop with Scan-Path Macro-Generator

DPGEN_SHIFT(3)

DPGEN_SHIFT - Shifter Macro-Generator

DPGEN_XNOR2(3)

DPGEN_XNOR2 - XNOR2 Macro-Generator

DPGEN_XNOR2MASK(3)

DPGEN_XNOR2MASK - Programmable Mask Macro-Generator

DPGEN_XOR2(3)

DPGEN_XOR2 - XOR2 Macro-Generator

dupablexpr(3)

dupablexpr - duplicates an expression.
[Include document man1/alc_origin.1]

existbddnodeassocoff(3)

existbddnodeassocoff - computes an existantial quantification.
[Include document man1/alc_origin.1]

existbddnodeassocon(3)

existbddnodeassocon - computes an existantial quantification.
[Include document man1/alc_origin.1]

figmbkrds(3)

figmbkrds - converts MBK figure to RDS figure
[Include document man1/alc_origin.1]

filepath(3)

filepath - return the whole search path of a file
[Include document man1/alc_origin.1]

flatablexpr(3)

flatablexpr - merges the operators of an expression
[Include document man1/alc_origin.1]

flattenlofig(3)

flattenlofig - flatten a instance in a logical figure
[Include document man1/alc_origin.1]

flattenphfig(3)

flatenphfig - flatten a instance in a figure
[Include document man1/alc_origin.1]

freeablexpr(3)

freeablexpr - frees an expression.
[Include document man1/alc_origin.1]

freechain(3)

freechain - free a chain_list
[Include document man1/alc_origin.1]

freelomodel(3)

freelomodel - free a lofig_list for temporary models
[Include document man1/alc_origin.1]

freenum(3)

freenum - free a num_list
[Include document man1/alc_origin.1]

freeptype(3)

freeptype - free a ptype_list
[Include document man1/alc_origin.1]

freerdsfig(3)

freerdsfig - frees memory associated to a figure
[Include document man1/alc_origin.1]

freerdsins(3)

freerdsins - frees memory associated to an instance
[Include document man1/alc_origin.1]

freerdsrec(3)

freerdsrec - free memory associated to a rectangle
[Include document man1/alc_origin.1]

garbagebddsystem(3)

garbagebddsystem - Forces a bdd garbage collection.
[Include document man1/alc_origin.1]

gcNodeBdd(3)

gcNodeBdd - does a garbage collection

GENLIB_BUS(3)

GENLIB_BUS - Creates a bus name for netlist

GENLIB_COPY_UP_ALL_CON(3)

GENLIB_COPY_UP_ALL_CON - copy all physical connectors of an instance face in the current figure

GENLIB_COPY_UP_ALL_REF(3)

GENLIB_COPY_UP_ALL_REF - copy a several physical reference from an instance in the current figure

GENLIB_COPY_UP_CON(3)

GENLIB_COPY_UP_CON - copy a physical connector from an instance in the current figure

GENLIB_COPY_UP_CON_FACE(3)

GENLIB_COPY_UP_CON_FACE - copy a physical connector from an instance in the current figure

GENLIB_COPY_UP_REF(3)

GENLIB_COPY_UP_REF - copy a physical reference from an instance in the current figure

GENLIB_COPY_UP_SEG(3)

GENLIB_COPY_UP_SEG - copy a physical segment from an instance in the current figure

GENLIB_DEF_AB(3)

GENLIB_DEF_AB - define a new abutment box to the current layout cell

GENLIB_DEF_LOFIG(3)

GENLIB_DEF_LOFIG - open a netlist model as current figure

GENLIB_DEF_PHFIG(3)

GENLIB_DEF_PHFIG - open a layout model as current figure

GENLIB_DEF_PHINS(3)

GENLIB_DEF_PHINS - define a new reference instance

GENLIB_DEF_PHSC(3)

GENLIB_DEF_PHSC - load a netlist and open a layout model as current figure

GENLIB_ELM(3)

GENLIB_ELM - Creates a single element bus name for netlist

GENLIB_FLATTEN_ALL_LOINS(3)

GENLIB_FLATTEN_ALL_LOINS - flatten all instances in the current netlist figure

GENLIB_FLATTEN_ALL_PHINS(3)

GENLIB_FLATTEN_ALL_PHINS - flatten all instances in the current layout figure

GENLIB_FLATTEN_LOFIG(3)

GENLIB_FLATTEN_LOFIG - flatten an instance in the current netlist figure

GENLIB_FLATTEN_PHFIG(3)

GENLIB_FLATTEN_PHFIG - flatten an instance in the current layout figure

GENLIB_GET_CON_X(3)

GENLIB_GET_CON_X - retrieve the x coordinate of an instance connector

GENLIB_GET_CON_Y(3)

GENLIB_GET_CON_Y - retrieve the x coordinate of an instance connector

GENLIB_GET_INS_X(3)

GENLIB_GET_INS_X - retrieve the x coordinate of an instance

GENLIB_GET_INS_Y(3)

GENLIB_GET_INS_Y - retrieve the y coordinate of an instance

GENLIB_GET_REF_X(3)

GENLIB_GET_REF_X - retrieve the x coordinate of an instance reference

GENLIB_GET_REF_Y(3)

GENLIB_GET_REF_Y - retrieve the y coordinate of an instance reference

GENLIB_HEIGHT(3)

GENLIB_HEIGHT - compute the height of a model

GENLIB_LOAD_LOFIG(3)

GENLIB_LOAD_LOFIG - loads a netlist form disk and opens it as current figure

GENLIB_LOAD_PHFIG(3)

PHAD_PHFIG - loads a layout form disk and opens it as current figure

GENLIB_LOCAP(3)

GENLIB_LOCAP - add a logical capacitor to the current netlist figure

GENLIB_LOCON(3)

GENLIB_LOCON - adds a logical connector to the current netlist figure

GENLIB_LOINS(3)

GENLIB_LOINS - add a logical instance to the current figure

GENLIB_LOINSE(3)

GENLIB_LOINSE - add a logical instance to the current figure, with explicit connections

GENLIB_LORES(3)

GENLIB_LORES - add a logical resistor to the current netlist figure

GENLIB_LOSELF(3)

GENLIB_LOSELF - add a logical inductor to the current netlist figure

GENLIB_LOSIG(3)

GENLIB_LOSIG - declare an internal logical signal, or a vector of internal logical signals

GENLIB_LOSIGMERGE(3)

GENLIB_LOSIGMERGE - merge two logical signals

GENLIB_LOTRS(3)

GENLIB_LOTRS - adds a logical transistor to the current netlist figure

GENLIB_MACRO(3)

GENLIB_MACRO - Interface with all MACRO generators.

GENLIB_OUTLINE(3)

GENLIB_OUTLINE - build an outline from the current layout cell

GENLIB_PHCON(3)

GENLIB_PHCON - place a physical connector in the current figure at absolute coordinates

GENLIB_PHREF(3)

GENLIB_PHREF - place a physical reference in the current figure at absolute coordinates

GENLIB_PHSEG(3)

GENLIB_PHSEG - place a physical segment in the current figure at absolute coordinates

GENLIB_PHVIA(3)

GENLIB_PHVIA - place a physical via in the current figure at absolute coordinates

GENLIB_PLACE(3)

GENLIB_PLACE - place a physical instance in the current figure at absolute coordinates

GENLIB_PLACE_BOTTOM(3)

GENLIB_PLACE_BOTTOM - place a physical instance in the current figure under the "reference instance"

GENLIB_PLACE_CON_REF(3)

GENLIB_PLACE_CON_REF - put a connector on top of a reference belonging an instance in the current figure

GENLIB_PLACE_LEFT(3)

GENLIB_PLACE_LEFT - place a physical instance in the current figure at the left of the "reference instance"

GENLIB_PLACE_ON(3)

GENLIB_PLACE_ON - place a physical instance in the current figure matching connectors

GENLIB_PLACE_RIGHT(3)

GENLIB_PLACE_RIGHT - place a physical instance in the current figure at the right of the "reference instance"

GENLIB_PLACE_SEG_REF(3)

GENLIB_PLACE_SEG_REF - put a segment on a reference belonging an instance in the current figure

GENLIB_PLACE_TOP(3)

GENLIB_PLACE_TOP - place a physical instance in the current figure on the top of the "reference instance"

GENLIB_PLACE_VIA_REF(3)

GENLIB_PLACE_VIA_REF - put a via on top of a reference belonging to an instance in the current figure

GENLIB_REVERSE_PHCON(3)

GENLIB_REVERSE_PHCON - reverse the order of physical connectors on a bus.

GENLIB_SAVE_LOFIG(3)

GENLIB_SAVE_LOFIG - save a netlist on disk

GENLIB_SAVE_PHFIG(3)

GENLIB_SAVE_PHFIG - save a layout on disk

GENLIB_SAVE_PHSC(3)

GENLIB_SAVE_PHSC - save a layout on disk

GENLIB_SC_BOTTOM(3)

GENLIB_SC_BOTTOM - place an instance in the current figure at the right of the "reference instance"

GENLIB_SC_LEFT(3)

GENLIB_SC_LEFT - place an instance in the current figure at the right of the "reference instance"

GENLIB_SC_PLACE(3)

GENLIB_SC_PLACE - place an instance in the current figure at absolute coordinates

GENLIB_SC_RIGHT(3)

GENLIB_SC_RIGHT - place an instance in the current figure at the right of the "reference instance"

GENLIB_SC_TOP(3)

GENLIB_SC_TOP - place an instance in the current figure at the right of the "reference instance"

GENLIB_SET_LOCAP(3)

GENLIB_SET_LOCAP - set the capacitance value of a logical capacitor, after its creation.
[Include document man1/alc_origin.1]

GENLIB_SET_LORES(3)

GENLIB_SET_LORES - set the resistance value of a logical resistor, after its creation.
[Include document man1/alc_origin.1]

GENLIB_SET_LOSELF(3)

GENLIB_SET_LOSELF - set the inductance value of a logical inductor, after its creation.
[Include document man1/alc_origin.1]

GENLIB_UNFLATTEN_LOFIG(3)

UNFLATTEN_LOFIG - creates a hierarchy level from instances in the current logical figure

GENLIB_WIRE1(3)

GENLIB_WIRE1 - place a physical segment in the current figure

GENLIB_WIRE2(3)

GENLIB_WIRE2 - place two physical segments in the current figure

GENLIB_WIRE3(3)

GENLIB_WIRE3 - place three physical segments in the current figure

getablexprdepth(3)

getablexprdepth - gives the depth of an expression.
[Include document man1/alc_origin.1]

getablexprlength(3)

getablexprlength - gives the length of an expression.
[Include document man1/alc_origin.1]

getablexprmax(3)

getablexprmax - applies a function to all operands.
[Include document man1/alc_origin.1]

getablexprmin(3)

getablexprmin - applies a function to all operands.
[Include document man1/alc_origin.1]

getablexprnum(3)

getablexprnum - gives a specified operand of an expression.
[Include document man1/alc_origin.1]

getablexprnumatom(3)

getablexprnumatom - gives the number of atom in an expression.
[Include document man1/alc_origin.1]

getablexprnumbinoper(3)

getablexprnumbinoper - gives the number of binary operators in an expression.
[Include document man1/alc_origin.1]

getablexprnumocc(3)

getablexprnumocc - how many times a name appears in an expression.
[Include document man1/alc_origin.1]

getablexprsupport(3)

getablexprsupport - gives the expression’s support.
[Include document man1/alc_origin.1]

getbddnodenum(3)

getbddnodenum - gets the number of nodes in a bdd.
[Include document man1/alc_origin.1]

getbddnodesize(3)

getbddnodesize - gets the number of nodes in a bdd.
[Include document man1/alc_origin.1]

getbddnodesupport(3)

getbddnodesupport - gives the variable support of a bdd node.
[Include document man1/alc_origin.1]

getbddvarbyindex(3)

getbddvarbyindex - converts bdd index to a variable number.
[Include document man1/alc_origin.1]

getbddvarindex(3)

getbddvarindex - converts a variable number in a bdd index.
[Include document man1/alc_origin.1]

getbddvarnode(3)

getbddvarnode - gives the bdd node of a variable.
[Include document man1/alc_origin.1]

getbddvarnodebyindex(3)

getbddvarnode - gives the bdd node of a variable.
[Include document man1/alc_origin.1]

GETCPAT(3)

GETCPAT, GENPAT Package
[Include document man1/alc_origin.1]

gethtitem(3)

gethtitem - searches an item in a hash table
[Include document man1/alc_origin.1]

getlocap(3)

getlocap - retrieve a logical capacitor
[Include document man1/alc_origin.1]

getlocon(3)

getlocon - retrieve a logical connector
[Include document man1/alc_origin.1]

getlofig(3)

getlofig - give back a pointer to a lofig
[Include document man1/alc_origin.1]

getloins(3)

getloins - retrieve a logical instance
[Include document man1/alc_origin.1]

getlomodel(3)

getlomodel - retrieve a model from a lofig_list
[Include document man1/alc_origin.1]

getlores(3)

getlores - retrieve a logical resistor
[Include document man1/alc_origin.1]

getloself(3)

getloself - retrieve a logical inductor
[Include document man1/alc_origin.1]

getlosig(3)

getlosig - retrieve a logical signal
[Include document man1/alc_origin.1]

getphcon(3)

getphcon - retrieve a physical connector
[Include document man1/alc_origin.1]

getphfig(3)

getphfig - give back a pointer to a phfig
[Include document man1/alc_origin.1]

getphins(3)

getphins - retrieve a physical instance
[Include document man1/alc_origin.1]

getphref(3)

getphref - retrieve a physical reference
[Include document man1/alc_origin.1]

getptype(3)

getptype - retrieve a ptype from a ptype_list
[Include document man1/alc_origin.1]

getrdsmodellist(3)

getrdsmodellist - gets model list of the instances of a figure
[Include document man1/alc_origin.1]

getsigname(3)

getsigname - choose a signal name in alias list
[Include document man1/alc_origin.1]

givelosig(3)

givelosig - give a logical signal
[Include document man1/alc_origin.1]

guessextdir(3)

guessextdir - guess external connectors directions from internal connectors directions
[Include document man1/alc_origin.1]

implybddnode(3)

implybddnode - computes a bdd that implies a conjonction of two bdd nodes.
[Include document man1/alc_origin.1]

incatalog(3)

incatalog - test if cell belongs to the catalog file
[Include document man1/alc_origin.1]

incatalogdelete(3)

incatalogdelete - test if cell belongs to the catalog file
[Include document man1/alc_origin.1]

incatalogfeed(3)

incatalogfeed - test if cell belongs to the catalog file
[Include document man1/alc_origin.1]

incataloggds(3)

incataloggds - test if cell belongs to the catalog file
[Include document man1/alc_origin.1]

incbddrefext(3)

incbddrefext - increments the external reference of a bdd node.
[Include document man1/alc_origin.1]

incbddrefint(3)

incbddrefint - increments the internal reference of a bdd node.
[Include document man1/alc_origin.1]

INIT(3)

INIT, GENPAT Package
[Include document man1/alc_origin.1]

initializeBdd(3)

initializeBdd - initializes the BDDs system

insconmbkrds(3)

insconmbkrds - adds in RDS instance all the connectors of MBK instance
[Include document man1/alc_origin.1]

insmbkrds(3)

insmbkrds - converts MBK figure to RDS figure
[Include document man1/alc_origin.1]

insrefmbkrds(3)

insrefmbkrds - adds in RDS instance all the references of MBK instance.
[Include document man1/alc_origin.1]

inssegmbkrds(3)

inssegmbkrds - adds in RDS instance all the segments of MBK instance
[Include document man1/alc_origin.1]

instanceface(3)

instanceface - returns the face of a connector in a placed instance
[Include document man1/alc_origin.1]

instr(3)

instr - find an occurence of a string in a string, starting at a specified character.
[Include document man1/alc_origin.1]

insviambkrds(3)

insviambkrds - adds to RDS instance all the contacts from MBK instance
[Include document man1/alc_origin.1]

intersectbddnode(3)

intersectbddnode - tests for an intersection between two bdd nodes.
[Include document man1/alc_origin.1]

isablbinaryoper(3)

isablbinaryoper - tests if an operator is binary.
[Include document man1/alc_origin.1]

isablequalexpr(3)

isablequalexpr - tests if two expressions are strictly identicals.
[Include document man1/alc_origin.1]

isablnameinexpr(3)

isablnameinexpr - tests if a name appears in an expression.
[Include document man1/alc_origin.1]

isabloperinexpr(3)

isabloperinexpr - tests if an operator appears in an expression.
[Include document man1/alc_origin.1]

isablsimilarexpr(3)

isablsimilarexpr - tests if two expressions have the same morphology.
[Include document man1/alc_origin.1]

isablunaryoper(3)

isablunaryoper - tests if an operator is unary.
[Include document man1/alc_origin.1]

isbddvarinsupport(3)

isbddvarinsupport - tests if a variable appears in a bdd.
[Include document man1/alc_origin.1]

isck(3)

isck -tells if a name is the pattern defined by the user
[Include document man1/alc_origin.1]

isvdd(3)

isvdd -tells if a name contains the pattern defined by the user
[Include document man1/alc_origin.1]

isvss(3)

isvss -tells if a name contains the pattern defined by the user
[Include document man1/alc_origin.1]

LABEL(3)

LABEL, GENPAT Package
[Include document man1/alc_origin.1]

libpat(3)

PAT - Generic pattern data structure

loadlofig(3)

loadlofig - load a new logical cell model from disk
[Include document man1/alc_origin.1]

loadphfig(3)

loadphfig - load a new physical cell model from disk
[Include document man1/alc_origin.1]

loadrdsfig(3)

loadrdsfig - give back a pointer to a figure
[Include document man1/alc_origin.1]

loadrdsparam(3)

loadrdsparam - load parameters from symbolic to real conversion.
[Include document man1/alc_origin.1]

locap(3)

locap - mbk logical capacitor

locon(3)

locon - mbk logical connector

lofig(3)

lofig - mbk logical figure

lofigchain(3)

lofigchain - creates a netlist in terms of connectors on signals
[Include document man1/alc_origin.1]

loins(3)

loins - mbk logical instance

lores(3)

lores - mbk logical resistor

loself(3)

loself - mbk logical inductor

losig(3)

losig - mbk logical signal

lotrs(3)

lotrs - mbk logical transistor

mapablanyexpr(3)

mapablanyexpr - applies a function to all operands.
[Include document man1/alc_origin.1]

mapableveryexpr(3)

mapableveryexpr - applies a function to all operands.
[Include document man1/alc_origin.1]

mapablexpr(3)

mapablexpr - applies a function to all operands.
[Include document man1/alc_origin.1]

mapabloperexpr(3)

mapabloperexpr - applies a function to all operands.
[Include document man1/alc_origin.1]

markAllBdd(3)

markAllBdd - marks all the nodes of the BDDs system

markBdd(3)

markBdd - marks all nodes of a BDD

markbddnode(3)

markbddnode - marks bdd node with a specified mask.
[Include document man1/alc_origin.1]

mbk(3)

mbk - Generic layout ,netlist and utility data structures
[Include document man1/alc_origin.1]

mbkalloc(3)

mbkalloc - mbk memory allocator
[Include document man1/alc_origin.1]

mbkenv(3)

mbkenv - set user preferences
[Include document man1/alc_origin.1]

mbkfopen(3)

mbkfopen - open a file with several search pathes
[Include document man1/alc_origin.1]

mbkfree(3)

mbkfree - mbk memory allocator
[Include document man1/alc_origin.1]

mbkgetenv(3)

mbkgetenv - get an environment variable
[Include document man1/alc_origin.1]

mbkps(3)

mbkps - mbk process state
[Include document man1/alc_origin.1]

mbkrealloc(3)

mbkrealloc - mbk memory reallocator
[Include document man1/alc_origin.1]

mbksetautoackchld(3)

mbksetautoackchld - Tells Alliance to automatically handle terminaison of child process.
[Include document man1/alc_origin.1]

mbkunlink(3)

mbkunlink - delete a file in the WORK_LIB\P.
[Include document man1/alc_origin.1]

mbkwaitpid(3)

mbkwaitpid - wait for the end of a particular child process.
[Include document man1/alc_origin.1]

mlodebug(3)

mlodebug - logical data structure contents debug function
[Include document man1/alc_origin.1]

modelmbkrds(3)

modelmbkrds - gets all models of instances contained in a figure.
[Include document man1/alc_origin.1]

mphdebug(3)

mphdebug - physical data structure contents debug function
[Include document man1/alc_origin.1]

namealloc(3)

namealloc - hash table for strings
[Include document man1/alc_origin.1]

namefind(3)

namefind - hash table for strings
[Include document man1/alc_origin.1]

nameindex(3)

nameindex - concatenate a name and index with user separator
[Include document man1/alc_origin.1]

naturalstrcmp(3)

naturalstrcmp - compare string in alphabetical order for letters and numerical for digits.
[Include document man1/alc_origin.1]

notBdd(3)

notBdd - complements a BDD

numberNodeAllBdd(3)

numberNodeAllBdd - count the number of nodes used in the BDD system

numberNodeBdd(3)

numberNodeBdd - computes the number of nodes used in a BDD

phcon(3)

phcon - mbk physical connector

phfig(3)

phfig - mbk physical figure

phins(3)

phins - mbk physical instance

phref(3)

phref - mbk physical reference

phseg(3)

phseg - mbk physical segment

phvia(3)

phvia - mbk physical contact

polarablexpr(3)

polarablexpr - moves inverters to the atomic level.
[Include document man1/alc_origin.1]

polardupablexpr(3)

polardupablexpr - duplicates an expression and moves down the inverters.
[Include document man1/alc_origin.1]

ptype(3)

ptype - mbk list of typed pointers

rdsalloc(3)

rdsalloc - memory allocation function
[Include document man1/alc_origin.1]

rdsenv(3)

rdsenv - set user preference
[Include document man1/alc_origin.1]

rdsfree(3)

rdsfree - free memory place
[Include document man1/alc_origin.1]

refmbkrds(3)

refmbkrds - adds to RDS figure a references from a MBK figure
[Include document man1/alc_origin.1]

relprodbddnodeassoc(3)

relprodbddnodeassoc - computes a relational product.
[Include document man1/alc_origin.1]

reorderbddsystemdynamic(3)

reorderbddsystemdynamic - specifies the dynamic bdd reorder parameters.
[Include document man1/alc_origin.1]

reorderbddsystemsimple(3)

reorderbddsystemsimple - reorders the bdd nodes of a bdd system.
[Include document man1/alc_origin.1]

reorderbddsystemtop(3)

reorderbddsystemtop - reorders the bdd nodes of a bdd system.
[Include document man1/alc_origin.1]

reorderbddsystemwindow(3)

reorderbddsystemwindow - reorders the bdd nodes of a bdd system.
[Include document man1/alc_origin.1]

resetBdd(3)

resetBdd - resets the BDDs system

resetbddcircuit(3)

resetbddcircuit - resets a bdd circuit.
[Include document man1/alc_origin.1]

resetbddsystem(3)

resetbddsystem - resets a bdd system.
[Include document man1/alc_origin.1]

restorealldir(3)

restorealldir - restore all instances’ connectors directions
[Include document man1/alc_origin.1]

restoredirvbe(3)

restoredirvbe - restore connectors directions from behavioral view
[Include document man1/alc_origin.1]

restrictbddnode(3)

restrictbddnode - substitutes a variable by a zero or one, in a bdd.
[Include document man1/alc_origin.1]

reverse(3)

reverse - reverse a list of chained elements
[Include document man1/alc_origin.1]

rflattenlofig(3)

rflattenlofig - recursivly flatten a figure
[Include document man1/alc_origin.1]

rflattenphfig(3)

rflattenphfig - recursivly flatten a figure
[Include document man1/alc_origin.1]

roundrdsrec(3)

roundrdsrec - adjusts a rectangle to lambda grid step
[Include document man1/alc_origin.1]

satisfybddnode(3)

satisfybddnode - finds a satisfying path for a bdd node.
[Include document man1/alc_origin.1]

SAVE(3)

SAVE, GENPAT Package

savelofig(3)

savelofig - save a logical figure on disk
[Include document man1/alc_origin.1]

savephfig(3)

savephfig - save a physical figure on disk
[Include document man1/alc_origin.1]

saverdsfig(3)

saverdsfig - save a physical figure on disk.
[Include document man1/alc_origin.1]

searchbddcircuitin(3)

searchbddcircuitin - searchs an input in a bdd circuit.
[Include document man1/alc_origin.1]

searchbddcircuitout(3)

searchbddcircuitout - searchs an output in a bdd circuit.
[Include document man1/alc_origin.1]

searchrdsfig(3)

searchrdsfig - searchs by name a figure in the list of figures
[Include document man1/alc_origin.1]

segmbkrds(3)

segmbkrds - adds to RDS figure a segment from a MBK figure
[Include document man1/alc_origin.1]

setbddrefext(3)

setbddrefext - increments the external reference, and decrements the internal reference of a bdd node.
[Include document man1/alc_origin.1]

sethtitem(3)

sethtitem - test and set an item in an hash table.
[Include document man1/alc_origin.1]

setlocap(3)

setlocap - set the capacitance value of a logical capacitor
[Include document man1/alc_origin.1]

setlores(3)

setlores - set the resistance value of a logical resistor
[Include document man1/alc_origin.1]

setloself(3)

setloself - set the inductance value of a logical inductor
[Include document man1/alc_origin.1]

simpablexpr(3)

simpablexpr - simplies an expression.
[Include document man1/alc_origin.1]

simpbddnodedcoff(3)

simpbddnodedcoff - simplifies a bdd with don’t cares on its off-set part.
[Include document man1/alc_origin.1]

simpbddnodedcon(3)

simpbddnodedcon - simplifies a bdd with don’t cares on its on-set part.
[Include document man1/alc_origin.1]

simpdupablexpr(3)

simpdupablexpr - duplicates and simplies an expression.
[Include document man1/alc_origin.1]

simplifDcOneBdd(3)

simplifDcOneBdd - simplifies a BDD with don’t cares on its on-set part

simplifDcZeroBdd(3)

simplifDcZeroBdd - simplifies a BDD with don’t cares on its off-set part

sortlocon(3)

sortlocon - sort the logical connectors of a figure by name
[Include document man1/alc_origin.1]

sortlosig(3)

sortlosig - sort the logical signals of a figure by name
[Include document man1/alc_origin.1]

substablexpr(3)

substablexpr - substitutes a given atom by an expression.
[Include document man1/alc_origin.1]

substbddnodeassoc(3)

substbddnodeassoc - substitutes a set of variables with a set of bdd node.
[Include document man1/alc_origin.1]

substdupablexpr(3)

substdupablexpr - substitutes a given atom by an expression.
[Include document man1/alc_origin.1]

supportChain_listBdd(3)

supportChain_listBdd - returns a chained list of nodes that are used in a given BDD.

swapbddvar(3)

swapbddvar - swaps two contiguous variables.
[Include document man1/alc_origin.1]

testbddcircuit(3)

testbddcircuit - debugs a bdd circuit.
[Include document man1/alc_origin.1]

unflatablexpr(3)

unflatablexpr - unflats the operators of an expression
[Include document man1/alc_origin.1]

unflattenlofig(3)

unflattenlofig - creates a hierarchy level from instances of a figure
[Include document man1/alc_origin.1]

unmarkbddnode(3)

unmarkbddnode - unmarks bdd node with a specified mask.
[Include document man1/alc_origin.1]

unsetbddrefext(3)

unsetbddrefext - increments the internal reference, and decrements the external reference of a bdd node.
[Include document man1/alc_origin.1]

upstr(3)

upstr - convert a string to upper case
[Include document man1/alc_origin.1]

upVarBdd(3)

upVarBdd - brings up an index in a BDD

vhdlablname(3)

vhdlablname - returns a compatible VHDL name.
[Include document man1/alc_origin.1]

vhdlablvector(3)

vhdlablvector - gives the index and the name of a vectorized name.
[Include document man1/alc_origin.1]

viambkrds(3)

viambkrds - adds to RDS figure a contact from a MBK figure
[Include document man1/alc_origin.1]

viewablexpr(3)

viewablexpr - displays an expression.
[Include document man1/alc_origin.1]

viewablexprfile(3)

viewablexprfile - displays an expression in a file.
[Include document man1/alc_origin.1]

viewablexprstr(3)

viewablexprstr - displays an expression in a str.
[Include document man1/alc_origin.1]

viewbddcircuit(3)

viewbddcircuit - displays a bdd circuit.
[Include document man1/alc_origin.1]

viewbddnode(3)

viewbddnode - displays a bdd node.
[Include document man1/alc_origin.1]

viewbddsystem(3)

viewbddsystem - displays a bdd system.
[Include document man1/alc_origin.1]

viewbddsysteminfo(3)

viewbddsysteminfo - displays statistical informations.
[Include document man1/alc_origin.1]

viewht(3)

viewht - displays a hash table contents
[Include document man1/alc_origin.1]

viewlo(3)

viewlo - scan all lofig_lists and display their elements
[Include document man1/alc_origin.1]

viewlocap(3)

viewlocap - display elements of a locap_list
[Include document man1/alc_origin.1]

viewlofig(3)

viewlofig - display elements of a lofig_list
[Include document man1/alc_origin.1]

viewlofigcon(3)

viewlofigcon - display elements of a locon_list attached to a figure

viewloins(3)

viewloins - display elements of a loins_list
[Include document man1/alc_origin.1]

viewloinscon(3)

viewloinscon - display elements of a locon_list attached to an instance
[Include document man1/alc_origin.1]

viewlores(3)

viewlores - display elements of a lores_list
[Include document man1/alc_origin.1]

viewloself(3)

viewloself - display elements of a loself_list
[Include document man1/alc_origin.1]

viewlosig(3)

viewlosig - display elements of a losig_list
[Include document man1/alc_origin.1]

viewlotrs(3)

viewlotrs - display elements of a lotrs_list
[Include document man1/alc_origin.1]

viewph(3)

viewph - display all the phfig_lists and their elements
[Include document man1/alc_origin.1]

viewphcon(3)

viewphcon - display elements of a phcon_list
[Include document man1/alc_origin.1]

viewphfig(3)

viewphfig - display elements of a phfig_list

viewphins(3)

viewphins - display elements of a phins_list
[Include document man1/alc_origin.1]

viewphref(3)

viewphref - display elements of a phref_list
[Include document man1/alc_origin.1]

viewphseg(3)

viewphseg - display elements of a phseg_list
[Include document man1/alc_origin.1]

viewphvia(3)

viewphvia - display elements of a phvia_list

viewrdsfig(3)

viewrdsfig - view caracteristics of a figure
[Include document man1/alc_origin.1]

viewrdsins(3)

viewrdsins - Displays caracteristics of an instance
[Include document man1/alc_origin.1]

viewrdsparam(3)

viewrdsparam - displays tables in memory filled by loadrdsparam function.
[Include document man1/alc_origin.1]

viewrdsrec(3)

viewrdsrec - Displays caracteristics of a rectangle
[Include document man1/alc_origin.1]

viewrdswindow(3)

viewrdswindow - displays caracteristics of the windowing.
[Include document man1/alc_origin.1]

viewrfmcon(3)

viewrfmcon - displays connector caracteristics in MBK and RDS format.
[Include document man1/alc_origin.1]

viewrfmfig(3)

viewrfmfig - displays figure caracteristics in MBK and RDS format.
[Include document man1/alc_origin.1]

viewrfmins(3)

viewrfmins - displays instance caracteristics in MBK and RDS format.
[Include document man1/alc_origin.1]

viewrfmrec(3)

viewrfmrec - displays rectangle caracteristics in RDS format.
[Include document man1/alc_origin.1]

viewrfmref(3)

viewrfmref - displays reference caracteristics in MBK and RDS format.
[Include document man1/alc_origin.1]

viewrfmseg(3)

viewrfmseg - displays segment caracteristics in MBK and RDS format.
[Include document man1/alc_origin.1]

viewrfmvia(3)

viewrfmvia - displays contact caracteristics in MBK and RDS format.
[Include document man1/alc_origin.1]

xyflat(3)

xyflat - compute hierarchical coordinates
[Include document man1/alc_origin.1]

al(5)

al - Alliance logical format
[Include document man1/alc_origin.1]

ap(5)

ap - Alliance physical format
[Include document man1/alc_origin.1]

catal(5)

catal - catalog file format
[Include document man1/alc_origin.1]

ctl(5)

ctl - Control Temporal Logic file format.
[Include document man1/alc_origin.1]

fsm(5)

fsm - Alliance VHDL Finite State Machine description subset.
[Include document man1/alc_origin.1]

lax(5)

lax - Parameter file for logic synthesis
[Include document man1/alc_origin.1]

pat(5)

PAT - Pattern description format

prol(5)

prol - define the rules for symbolic to real layout translation
[Include document man1/alc_origin.1]

spi(5)

spi - Alliance parser and driver for Spice netlist.
[Include document man1/alc_origin.1]

sxlib(5)

sxlib - a portable CMOS Standard Cell Library
[Include document man1/alc_origin.1]

vasy(5)

vasy VHDL RTL subset.
[Include document man1/alc_origin.1]

vbe(5)

vbe
VHDL behavioural subset.
[Include document man1/alc_origin.1]

vhdl(5)

ALLIANCE VHDL Subset
[Include document man1/alc_origin.1]

vst(5)

vst
VHDL structural subset.
[Include document man1/alc_origin.1]

Latest updates

Fedora icon

Fedora rawhide development/Everything-os: Updated from 5.1.1-16.20160506gitd8c05cd.fc31 to 5.1.1-18.20160506gitd8c05cd.fc33

2020-02-23
  • Drop lesstif.
  • Spec file cleanup.
  • Add 0013-GCC-10-fixes.patch (F32FTBFS, RHBZ#1799147).
Fedora icon

Fedora 31 releases/Everything-os: Version 5.1.1-16.20160506gitd8c05cd.fc31 introduced

2020-01-07
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-10-01
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-25
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-25
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-25
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-25
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-06
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-06
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-06
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-06
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-06
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-06
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-09-05
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 removed

2019-09-05
Ubuntu icon

Ubuntu 19.10 eoan/universe: Version 5.1.1-3 reintroduced

2019-08-19
  • Fix FTBFS with recent TeX Live by specifying the input encoding of overview.tex.

Related packages

alliance-debuginfo - Debug information for package alliance
alliance-debugsource - Debug sources for package alliance
alliance-devel - Alliance VLSI CAD System - Development libraries
alliance-doc - Alliance VLSI CAD System - Documentations
alliance-libs - Alliance VLSI CAD System - Libraries
alliance-libs-debuginfo - Debug information for package alliance-libs
⇧ Top