section 1alc · User commands 💻

44 pages

A

abl(1alc)Prefixed representation for boolean functions✨
alc_bug_report(1alc)✨
alc_origin(1alc)✨
alcbanner(1alc)Display a standardized banner for Alliance tools✨
asimut(1alc)A simulation tool for hardware descriptions✨
aut(1alc)Memory allocation, and hash tables management✨

B

bdd(1alc)Mutli Reduced Ordered Binary Decision Diagrams✨
boog(1alc)Binding and Optimizing On Gates.✨
boom(1alc)BOOlean Minimization✨

C

cougar(1alc)Hierarchical netlist extractor✨

D

dreal(1alc)Graphic real layout viewer✨
druc(1alc)Design Rule Checker✨

F

flatbeh(1alc)Synthetize a behavioral description from a structural description✨
flatlo(1alc)FLATen LOgical figure✨
flatph(1alc)FLATen PHysical figure✨
fmi(1alc)FSM state miminization✨
fsm(1alc)Finite State Machine representation.✨
fsp(1alc)Formal proof between two FSM descriptions✨

G

genlib(1alc)Procedural design language based upon C.✨
genpat(1alc)✨
graal(1alc)symbolic layout editor✨

K

k2f(1alc)✨

L

l2p(1alc)Creates a PostScript file from a symbolic layout file,or from a physical layout file.✨
log(1alc)logical representations for boolean functions and utilities.✨
loon(1alc)Local optimizations of Nets.✨
lvx(1alc)Logical Versus eXtracted net-list comparator✨

M

m2e(1alc)✨
MBK_FILTER_SFX(1alc)define the inputoutput filter suffixe.✨
MBK_IN_FILTER(1alc)define the input filter✨
MBK_OUT_FILTER(1alc)define the input filter✨
MBK_TRACE_GETENV(1alc)defines getenv() debug output✨
moka(1alc)Model checker ancestor✨

N

nero(1alc)Negotiating Router✨

O

ocp(1alc)Standard Cell Placer✨

P

pat2spi(1alc)✨
proof(1alc)Formal proof between two behavioural descriptions✨

R

ring(1alc)PAD RING router✨

S

s2r(1alc)Process mapping from symbolic layout to physical layout✨
scapin(1alc)Scan path insertion✨
syf(1alc)Finite State Machine synthesizer.✨

V

vasy(1alc)VHDL Analyzer for Synthesis✨

X

x2y(1alc)Netlist Format converter✨
xpat(1alc)graphic pattern viewer✨
xsch(1alc)graphical schematic viewer✨