riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

- no more C4 parameters in lax files

This commit is contained in:
Ludovic Jacomme 2004-09-04 21:46:34 +00:00
parent ad69040777
commit 4a6322ab76
1 changed files with 1 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
alliance/src/boog/doc/lax.5
View File

@ -1,22 +1,4 @@
.\" $Id: lax.5,v 1.4 2002/10/24 08:30:53 xtof Exp $ .\" $Id: lax.5,v 1.5 2004/09/04 21:46:34 ludo Exp $
.\" ,,,
.\" (o o)
.\" ####=====oOO--(_)--OOO=========================================####
.\" ## ##
.\" ## This file is part of FPT : A Formal Proof Toolkit ##
.\" ## (C) 1996, ASIM/LIP6, CAO-VLSI Team ##
.\" ## ##
.\" ## File : magic.1 (manual file) ##
.\" ## Author : Olivier SIROL ##
.\" ## Date : Sep 1996 ##
.\" ## ##
.\" ## E-mail : alliance\-users@asim.lip6.fr ##
.\" ## ##
.\" ####===========================================================####
.\"
.\"
.\" $Id: lax.5,v 1.4 2002/10/24 08:30:53 xtof Exp $
.\"
.\" .\"
.TH LAX 5 "October 1, 1997" "ASIM/LIP6" "CAO\-VLSI Reference Manual" .TH LAX 5 "October 1, 1997" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
@ -140,16 +122,6 @@ ef_1;
ef_e4; ef_e4;
} }
## The following parameters are used for whith C4
## Number of serial transistor in N-graph
#N{4}
## Number of serial transistor in P-graph
#P{4}
## The following parameters are used for whith glop ## The following parameters are used for whith glop
## (Delayed --#D--inputs are also used) ## (Delayed --#D--inputs are also used)