Commit Graph

1091 Commits

Author SHA1 Message Date
Ludovic Jacomme 0cb2c2de1b Reset cond 2002-09-16 14:47:06 +00:00
Jean-Paul Chaput ce33464465 * genlib/src/util_Defs.h,
genlib/src/util_Sys.c :
   - Suppression de "ssignal()" & "gsignal()" pour faire plaisir aux
       naufrages de BSD. Juste pour faire de la polemique, ces fonctions
       sont bien standart... sous Unix S V R 4. Mais c'est du vice parce
       qu'en fait je ne m'en servais pas :-))
2002-09-16 12:52:04 +00:00
Jean-Paul Chaput a851143d14 * genlib/src/util_Defs.h,
genlib/src/util_Sys.c :
   - Suppression de "ssignal()" & "gsignal()" pour faire plaisir aux
       naufrages de BSD. Juste pour faire de la polemique, ces fonctions
       sont bien standart... sous Unix S V R 4. Mais c'est du vice parce
       qu'en fait je ne m'en servais pas :-))
2002-09-14 19:10:40 +00:00
Pierre Nguyen Tuong 2f3c1eb3e4 Retablissement de l'etat precedent. 2002-09-10 17:42:33 +00:00
Pierre Nguyen Tuong a182654c95 Ajout du test AC_CHECK_LIB(gen,basename) pour compatibilite. basename se
trouve dans libgen avec certains sytemes.
2002-09-09 20:53:26 +00:00
Ludovic Jacomme 96421cf2ec Modification grammaire CTL, ajout du mot cle RESET_COND pour
specifier une condition de RESET.
Correction de differents BUGs dans mocha (quantification universelle
systematique sur les entrees lors de l'interpretation des formules CTL)
Mise a jour des mans
2002-09-09 11:31:21 +00:00
Olivier Sirol eb9f354878 changement du nom de la mailing list 2002-09-09 09:09:22 +00:00
Christophe Alexandre 8bf666fc01 strang bug ... missing ; looks like bison was adding it ... 2002-09-09 08:13:19 +00:00
Franck Wajsburt 3f2392c41a 3 nouvelles fonctions de transformations pour la table mbk_to_rds_segment
vws  : identique à vw mais avec un rétrécissement à droite de la valeur de OFFSET
         ce rétrécissement est toujours à droite quelquesoit l'orientation du
         segment.
  alcw : identique a lcw pour decrire un rectangle de largeur constante à
         gauche, mais une gauche absolue et non pas relative à l'orientation
         du segment
  arcw : identique à rcw, mais pour un rectangle à droite absolue.
2002-09-04 14:52:55 +00:00
Franck Wajsburt 5afebf41a0 *** empty log message *** 2002-09-03 11:37:10 +00:00
Ludovic Jacomme 55a2a0202d BIG Bug dans le compilateur de fsm ! 2002-08-28 15:47:45 +00:00
Christophe Alexandre 6856413a71 removing mains from aut library 2002-08-27 15:25:06 +00:00
Christophe Alexandre 21c2402bbc obsolete include 2002-08-27 14:19:06 +00:00
Christophe Alexandre a22ecd9738 correction de bugs et amelioration du placement des connecteurs
option -c
2002-08-26 14:04:50 +00:00
Francois Donnet 2c0047ea19 bug dans la table de hash repertoriant les arcs entre les noeuds
soit on prend le pointeur sur le noeud, soit on prend son nom...
le choix: table basee sur le nom des noeuds
2002-08-23 08:57:58 +00:00
Pierre Nguyen Tuong a3ff537c57 Petite erreur dans le nom des variables du define de GENLIB_SET_LO(CAP,RES,SELF) 2002-08-16 20:16:46 +00:00
Pierre Nguyen Tuong 29f162db02 Ajout de trois fonctions pour positionner les valeurs des capacites,
resistances et inductances apres leur creation.
2002-08-16 19:19:49 +00:00
Pierre Nguyen Tuong 5d8bc21a5f Ajout des fonctions setlocap, setlores et setloself pour positionner
les valeurs des capacites, resistances et inductances.
Ajout des articles correspondant dans Makefile.am
Ajout des articles get(loca,lores,loself).3 dans le Makefile.am (un oubli...)
2002-08-16 18:40:25 +00:00
Pierre Nguyen Tuong a74cb57ea4 Ajout des articles GENLIB_LOCAP.3, GENLIB_LORES.3, GENLIB_LOSELF.3 dans
le Makefile.am
2002-08-16 13:50:02 +00:00
Pierre Nguyen Tuong 2d9717f728 Correction de quelques coquilles (transitor a la place de transistor
par exemple)
2002-08-16 13:46:32 +00:00
Pierre Nguyen Tuong 8c38871484 Ajout des objets (ana)logiques capacite, resistance et inductance. 2002-08-16 13:35:20 +00:00
Pierre Nguyen Tuong e81a389064 Ajout des rubriques locap, lores et loself pour les nouveaux objets
(ana)logiques capacite, resistance et inductance
2002-08-14 22:22:06 +00:00
Pierre Nguyen Tuong 16e157097d Nouveaux manuels pour les objets (ana)logiques capacite, resistance et
inductance
2002-08-14 22:19:39 +00:00
Pierre Nguyen Tuong d020e338ef Ajout des objets (ana)logiques capacite, resistance et inductance 2002-08-14 22:16:17 +00:00
Pierre Nguyen Tuong 8a2e47e5c1 Ajout des objets logiques capacite (locap), resistance (lores) et
inductance (loself). Apparition des champs LOCAP, LORES et LOSELF.
2002-08-14 22:05:26 +00:00
Pierre Nguyen Tuong 7a545c360b Ajout des objets logiques capacite, resistance et inductance 2002-08-14 21:56:40 +00:00
Pierre Nguyen Tuong c9ba2b0acf Ajout des objets logiques capacite, resistance et inductance 2002-08-14 21:47:48 +00:00
Pierre Nguyen Tuong 41bcf22492 Introduction des objets logiques capacite, resistance et inductance. 2002-08-14 20:41:56 +00:00
Pierre Nguyen Tuong 6f6d65e31d Ajout des objets logiques capacite, resistance et inductance 2002-08-14 20:06:42 +00:00
Pierre Nguyen Tuong fae460bb3c Introduction des objets logiques capacite, resistance et inductance.
Nouvelles fonctions de genlib:

GENLIB_LOCAP(type,capa,tcon,bcon,name)
GENLIB_LORES(type,resi,rcon1,rcon2,name)
GENLIB_LOSELF(type,self,scon1,scon2,name)

Pour GENLIB_LOCAP, type = CAPMIM ou CAPPNWELL
                   capa = valeur de la capacite
                   tcon,bcon = nom des connecteurs
                   name = nom de la capacite

Pour GENLIB_LORES, type = RESMIM
                   resi = valeur de la resistance
                   rcon1,rcon2 = nom des connecteurs
                   name = nom de la resistance

Pour GENLIB_LOSELF, type = SELFMIM
                    self = valeur de l'inductance
                    scon1,scon2 = nom des connecteurs
                    name = nom de l'inductance

Note: le parser/driver al fonctionne pour ces objets
      le driver spice seul fonctionne pour ces objets
2002-08-14 19:18:24 +00:00
Pierre Nguyen Tuong c0982fd8a3 Modification du driver spice pour les capacites logiques, les resistances
logiques et les inductances logiques. Le parser n'est pas modifie.
2002-08-14 19:11:35 +00:00
Pierre Nguyen Tuong f58bc9614c Inversion de l'ordre d'ecriture des parametres pour les capacites, les
resistances et les inductances. Le genere .al contient desormais

P type capa tcon bcon name node_tcon node_bcon           ---capacite
R type resi rcon1 rcon2 name node_rcon1 node_rcon2       ---resistance
L type self scon1 scon2 name node_scon1 node_scon2       ---inductance

et non

P type capa name tcon bcon node_tcon node_bcon           ---capacite
R type resi name rcon1 rcon2 node_rcon1 node_rcon2       ---resistance
L type self name scon1 scon2 node_scon1 node_scon2       ---inductance
2002-08-14 19:10:20 +00:00
Pierre Nguyen Tuong 04e33f7078 Oubli dans addlocap, addlores et addloself: les valeurs des capacites,
resistances et inductances n'etaient pas prises en compte...
2002-08-14 19:04:14 +00:00
Pierre Nguyen Tuong c083f043a8 Harmonisation du typage des connecteurs avec la symbolique du
fichier al pour les capacites, resistances et inductances.
2002-08-13 16:51:36 +00:00
Pierre Nguyen Tuong 58cc09cc2f Par defaut, un connecteur type TRANSCV est forcement connecte a un
transistor. Ajout des type TRANSCV2, TRANSCV3 et TRANSCV4 pour
respectivement les capacites, les resistances et les inductances
(meme signification, INOUT).
2002-08-13 16:48:32 +00:00
Pierre Nguyen Tuong bc51108da7 Suite de l'introduction des objets analogiques capacite, resistance et self.
Modification du parser et du driver al.

Syntaxe:
P type capa name tcon bcon node_tcon node_bcon           ---capacite
R type resi name rcon1 rcon2 node_rcon1 node_rcon2       ---resistance
L type self name scon1 scon2 node_scon1 node_scon2       ---inductance

Note:
Q existe deja pour les capacites de type RC (rcn). On utilise P a la place.
2002-08-13 16:40:14 +00:00
Pierre Nguyen Tuong 8bc0ade869 Ajout au niveau logique des capacites, resistances et inductances.
Modifications de:

typedef struct lofig                               /* logical figure               */
  {
    struct lofig  *NEXT       ;                    /* next figure                  */
    struct chain  *MODELCHAIN ;                    /* list of models               */
    struct locon  *LOCON      ;                    /* connector list head          */
    struct losig  *LOSIG      ;                    /* signal list head             */
    struct ptype  *BKSIG      ;                    /* signal block list head       */
    struct loins  *LOINS      ;                    /* instance list head           */
    struct lotrs  *LOTRS      ;                    /* transistor list head         */
    struct locap  *LOCAP      ;                    /* capacitance list head        */
    struct lores  *LORES      ;                    /* resistance list head         */
    struct loself *LOSELF     ;                    /* inductor list head           */
    char          *NAME       ;                    /* figure name (unique)         */
    char           MODE       ;                    /* 'A' or 'P'                   */
    struct ptype  *USER       ;                    /* Application specific         */
  } lofig_list                ;


Ajout de :

***** LOCAP:

* Structure

typedef struct locap                               /* analog capacitance           */
  {
    struct locap  *NEXT       ;                    /* next capacitor               */
    struct locon  *TCON       ;                    /* top plate connector          */
    struct locon  *BCON       ;                    /* bottom plate connector       */
    char          *NAME       ;                    /* capacitor instance name      */
    double        CAPA        ;                    /* capacitor value (unite FF)   */
    char          TYPE        ;                    /* capacitor type               */
    struct ptype  *USER       ;                    /* application specific         */
  } locap_list                ;

Notes : le TYPE est necessaire pour la generation d'une netlist spice. Il existe plusieurs
types de modeles spice de capacites.

      : Les capacités parasites pourront être attachées aux signaux sur les connecteurs.


* Fonctions:

locap_list *addlocap(lofig_list *ptfig,char type,double capa,losig_list *pttcon,losig_list *ptbcon,char *name)
int dellocap(lofig_list *ptfig,locap_list *ptcap)
locap_list *getlocap(lofig_list *ptfig,const char *name)
void dellocapuser(locap_list *)


***** LORES:

* Structure

typedef struct lores                            /* analog resistor               */
  {
    struct lores  *NEXT  ;                      /* next resistor                 */
    struct locon  *RCON1 ;                      /* first connector               */
    struct locon  *RCON2 ;                      /* second connector              */
    char          *NAME  ;                      /* resistor instance name        */
    double        RESI   ;                      /* resistance value (ohms)       */
    char          TYPE   ;                      /* resistor type                 */
    struct ptype  *USER  ;                      /* application specific          */
} lores_list             ;


Note: Les capacités parasites pourront être attachées aux signaux sur les connecteurs.

* Fonctions

lores_list *addlores(lofig_list *ptfig,double resi,losig_list *ptrcon1,losig_list *ptrcon2,char *name)
int dellores(lofig_list *ptfig,lores_list *ptres)
lores_list *getlores(lofig_list *ptfig,const char *name)
void delloresuser(lores_list *)


***** LOSELF

* Structure

typedef struct loself                           /* analog inductor               */
  {
    struct loself *NEXT  ;                      /* next inductor                 */
    struct locon  *SCON1 ;                      /* first connector               */
    struct locon  *SCON2 ;                      /* second connector              */
    char          *NAME  ;                      /* inductor instance name        */
    double        SELF   ;                      /* inductance value (unite H)    */
    char          TYPE   ;                      /* inductor type                 */
    struct ptype  *USER  ;                      /* application specific          */
} loself_list            ;

Note: Les capacités parasites (PB et les résistances parasites ? le coeff de
      qualité ?) pourront être attachées aux signaux sur les connecteurs.

* Fonctions
loself_list *addloself(lofig_list *ptfig,double self,losig_list *ptscon1,losig_list *ptscon2,char *name)
int delloself(lofig_list *ptfig,loself_list *ptself)
loself_list *getloself(lofig_list *ptfig,const char *name)
void delloselfuser(loself_list *)
2002-08-08 19:47:37 +00:00
Ludovic Jacomme 951d818f0d idem++ 2002-08-07 13:24:08 +00:00
Ludovic Jacomme 019a8d3616 encore plus de fruits 2002-08-07 13:23:58 +00:00
Pierre Nguyen Tuong a26e6a86f7 Mise a jour des manuels du transistor:
- ajout d'une quatrieme patte bulk explicite
- ajout des types FAST et HVIO pour les transistors N et P
- ajout d'un nom d'instance
- ajout du manuel de getlotrs
2002-08-06 14:17:24 +00:00
Ludovic Jacomme 08440e5dbd Le man de moka !!! 2002-08-05 13:36:08 +00:00
Ludovic Jacomme c8987e53fb Le man de CTL 2002-08-05 13:35:40 +00:00
Ludovic Jacomme c17c4b6a21 A little bug in the CTL grammar 2002-08-05 12:54:06 +00:00
Ludovic Jacomme 858be31d7a Encore plus de plaisir ! une seule cuillere suffit ! 2002-08-02 15:17:23 +00:00
Ludovic Jacomme dd3382c5b3 bug dans addbddassoc .... 2002-08-02 15:08:44 +00:00
Ludovic Jacomme 81109494a5 Correction d'un bug dans la construction des beaux/beout du VBE resultant
de la synthese d'une multi-FSM
2002-08-02 13:51:14 +00:00
Ludovic Jacomme 6cc1357f18 basename 2002-08-02 13:34:09 +00:00
Ludovic Jacomme 18acc9d5b7 dupablexpr 2002-08-02 13:33:09 +00:00
Ludovic Jacomme f945838c61 gloups 2002-08-02 13:15:08 +00:00
Ludovic Jacomme 580237f8d4 idem 2002-08-02 11:09:20 +00:00