Icarus Verilog, le simulateur verilog "recommandé" par gEDA ne supporte pas la rétro-annotation par les fichiers SDFs (fichiers d'informations sur les temps de propagation),en tout cas la dernière fois que j'ai regardé. Pour de la simulation logique avec rétro-annotation, il faut peut-être regarder vers GPL CVER, un autre simulateur Verilog, qui semble supporter la lecture des fichiers SDF.
Sinon, il y a bien sur la solution de faire des simulations en mode analogique avec ngspice, mais l'auteur de la question semble vouloir faire de la simulation logique.
[^] # Re: 'lu
Posté par Ronan BARZIC . En réponse au message Logiciel de simulation logique. Évalué à 2. Dernière modification le 17 juin 2013 à 08:46.
Icarus Verilog, le simulateur verilog "recommandé" par gEDA ne supporte pas la rétro-annotation par les fichiers SDFs (fichiers d'informations sur les temps de propagation),en tout cas la dernière fois que j'ai regardé. Pour de la simulation logique avec rétro-annotation, il faut peut-être regarder vers GPL CVER, un autre simulateur Verilog, qui semble supporter la lecture des fichiers SDF.
Sinon, il y a bien sur la solution de faire des simulations en mode analogique avec ngspice, mais l'auteur de la question semble vouloir faire de la simulation logique.