Package alliance

VLSI EDA System

https://soc-extras.lip6.fr/en/alliance-abstract-en/

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. Alliance is the result of a twelve year effort spent at SoC
department of LIP6 laboratory of the Pierre & 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

Alliance is listed among Fedora Electronic Lab (FEL) packages.
General Commands
Command Description
abl.1alc Prefixed representation for boolean functions
alcbanner.1alc Display a standardized banner for Alliance tools
alc_bug_report.1alc
alc_origin.1alc
asimut.1alc A simulation tool for hardware descriptions
aut.1alc Memory allocation, and hash tables management
bdd.1alc Mutli Reduced Ordered Binary Decision Diagrams
boog.1alc Binding and Optimizing On Gates.
boom.1alc BOOlean Minimization
cougar.1alc Hierarchical netlist extractor
dreal.1alc Graphic real layout viewer
druc.1alc Design Rule Checker
exp.1alc
flatbeh.1alc Synthetize a behavioral description from a structural description
flatlo.1alc FLATen LOgical figure
flatph.1alc FLATen PHysical figure
fmi.1alc
fsm.1alc Finite State Machine representation.
fsp.1alc
genlib.1alc Procedural design language based upon C.
genpat.1alc genpat, A procedural pattern file generator
graal.1alc symbolic layout editor
k2f.1alc k2f, FSM translator ALLIANCE format from/to Berkeley format
l2p.1alc
log.1alc logical representations for boolean functions and utilities.
loon.1alc Local optimizations of Nets.
lvx.1alc Logical Versus eXtracted net-list comparator
m2e.1alc
MBK_CATA_LIB.1alc define the mbk catalog directory
MBK_CATAL_NAME.1alc define the mbk catalog file
MBK_CK.1alc define the clock name pattern
MBK_FILTER_SFX.1alc define the inputoutput filter suffixe.
MBK_IN_FILTER.1alc define the input filter
MBK_IN_LO.1alc define the logical input format of mbk and genlib
MBK_IN_PH.1alc define the physical input format of mbk and genlib
MBK_OUT_FILTER.1alc define the input filter
MBK_OUT_LO.1alc define the logical output format of mbk and genlib
MBK_OUT_PH.1alc define the physical output format of mbk and genlib
MBK_SEPAR.1alc define the separator character for hierarchy
MBK_TRACE_GETENV.1alc defines getenv() debug output
MBK_VDD.1alc define the high level power name pattern
MBK_VSS.1alc define the ground power name pattern
MBK_WORK_LIB.1alc define the mbk working directory
moka.1alc Model checker ancestor
nero.1alc Negotiating Router
ocp.1alc
pat2spi.1alc pat2spi, PAT ALLIANCE format translator to Spice PWL format
proof.1alc
ring.1alc PAD RING router
s2r.1alc
scapin.1alc Scan path insertion
syf.1alc Finite State Machine synthesizer.
vasy.1alc VHDL Analyzer for Synthesis
x2y.1alc Netlist Format converter
xpat.1alc graphic pattern viewer
xsch.1alc graphical schematic viewer