HtmlToText
accueil accueil les hdl historique et usages niveaux de description la simulation exercices verilog introduction exemples types de donnes verilog structurel verilog comportemental synthse, simulation vhdl systemc introduction exemples rels types de donnes interfaces, ports, canaux, modules evnements, processus simulation outils outils tutorial modelsim introduction license license d'utilisation de ce document : prambule un langage de description de matriel (hardware description language, hdl) est une instance d'une classe de langage informatique ayant pour but la description formelle d'un systme lectronique. il peut gnralement : dcrire le fonctionnement du circuit, dcrire sa structure, et servir vrifier sa fonctionnalit par simulation ou preuve formelle. un hdl est une reprsentation textuelle d'un comportement temporel ou d'une structure d'un circuit. en comparaison avec un langage de programmation classique, la syntaxe et la smantique des hdl inclut des notations pour exprimer la concurence et le temps, qui sont les principaux attributs du matriel. les classes de langages dont la seule caractristique est de dcrire un circuit par une hirarchie de blocs interconnects est appele une netlist. le but des hdl est double : la simulation l'un des objectifs des hdl est d'aboutir une reprsentation excutable d'un circuit, soit sous forme autonome, soit l'aide d'un programme externe appel simulateur. cette forme excutable comporte une description du circuit simuler, un gnrateur de stimuli (vecteurs de test), ainsi que le dispositif implmentant la smantique du langage et l'coulement du temps. il existe deux types de simulateurs, temps discret, gnralement pour le numrique, et temps continu pour l'analogique. des hdl existent pour ces deux types de simulations. la synthse en n'utilisant qu'un sous-ensemble d'un hdl, un programme spcial appel synthtiseur peut transformer une description de circuit en une netlist de portes logiques ayant le mme comportement que le circuit de dpart. le sous-ensemble du langage utilis ce propos est alors dit synthtisable. la smantique synthtisable ignore typiquement toutes les constructions ayant un rapport avec le temps. il existe un grand nombre de hdl, les principaux tant : verilog vhdl systemc , sur-ensemble de c++ possdant des classes spciales pour modliser le matriel, et incluant un moteur de simulation. pour l'instant, sa synthse n'est pas facile. confluence, langage dclaratif gpl pouvant gnrer du verilog, du vhdl, des modles excutables en c et des modles de vrification formelle. abel ("advanced boolean expression language", un langage propritaire dvelopp par data i/o corporation, maintenant posss par lattice). ahdl (altera hdl, langage propritaire d'altera pour la programmation de leurs fpga). cupl (langage propritaire de logical devices, inc.). vhdl-ams : extension de vhdl destine aux circuits analogiques ou mixtes. ... back to top le cours l'objectif de ce cours en ligne est de : prsenter les principes de bases des langages de decription de matriel (hdl, hardware description languages) enseigner les bases de trois d'entre eux verilog vhdl (partie non maintenue) systemc pour vous permettre d'crire du code hdl simulable ou synthtisable, correct et soign ce cours n'est pas seulement un texte lire, comme on lirait un article de journal. il ncessite de l'attention et un travail de rflexion et d'approfondissement, similaires ceux fournis lors de l'tude d'un polycopi. on commencera ce cours par la partie sur les hdl , pour poursuivre par celle du langage tudier proprement dit (verilog, vhdl ou systemc). les enseignants sont l pour vous aider, vous expliquer ce qui ne vous semble pas clair, corriger les exercices, ... n'hsitez donc pas leur poser toute question qui vous semblera utile. back to top alexis polti, comelec 2005-2014
Informations Whois
Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;
%%
%% This is the AFNIC Whois server.
%%
%% complete date format : DD/MM/YYYY
%% short date format : DD/MM
%% version : FRNIC-2.5
%%
%% Rights restricted by copyright.
%% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%%
%% Use '-h' option to obtain more information about this service.
%%
%% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> telecom-paristech.fr
%%
%% RL Net [##########] - RL IP [########..]
%%
domain: telecom-paristech.fr
status: ACTIVE
hold: NO
holder-c: GDED19-FRNIC
admin-c: GDED12-FRNIC
tech-c: GR283-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL139207-FRNIC
registrar: GANDI
Expiry Date: 07/12/2017
created: 07/12/2006
last-update: 27/07/2016
source: FRNIC
ns-list: NSL139207-FRNIC
nserver: ns-auth1.enst.fr
nserver: ns-auth2.enst.fr
nserver: ns7-ext.enst.fr [51.254.72.126 2001:41d0:8:541b::11]
nserver: ns8-ext.enst.fr [79.143.243.129 2a01:678:2:100::53]
source: FRNIC
registrar: GANDI
type: Isp Option 1
address: 63-65 boulevard Massena
address: PARIS
country: FR
phone: +33 1 70 37 76 61
fax-no: +33 1 43 73 18 51
e-mail: reg.afnic-notification@gandi.net
website: http://www.gandi.net
anonymous: NO
registered: 09/03/2004
source: FRNIC
nic-hdl: GDED19-FRNIC
type: ORGANIZATION
contact: GROUPE DES ECOLES DES TELECOMMUNICATIONS
address: 46, rue Barrault
address: 75634 Paris
country: FR
phone: +33 1 45 81 75 68
e-mail: a078aac8f9a57e7b62b31d4a94a7fac6-etp7@contact.gandi.net
registrar: GANDI
changed: 09/10/2008 whoismaster@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligdate: 19/12/2006 00:00:00
source: FRNIC
nic-hdl: GDED12-FRNIC
type: ORGANIZATION
contact: GROUPE DES ECOLES DES TELECOMMUNICATIONS
address: 46, rue Barrault
address: 75634 Paris
country: FR
phone: +33 1 45 81 75 68
e-mail: cc5151b7722862f790aac2b8b90930c6-869416@contact.gandi.net
registrar: GANDI
changed: 20/12/2010 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligdate: 23/01/2009 00:00:00
source: FRNIC
nic-hdl: GR283-FRNIC
type: ROLE
contact: GANDI ROLE
address: Gandi
address: 15, place de la Nation
address: 75011 Paris
country: FR
e-mail: noc@gandi.net
trouble: -------------------------------------------------
trouble: GANDI is an ICANN accredited registrar
trouble: for more information:
trouble: Web: http://www.gandi.net
trouble: -------------------------------------------------
trouble: - network troubles: noc@gandi.net
trouble: - SPAM: abuse@gandi.net
trouble: -------------------------------------------------
admin-c: NL346-FRNIC
tech-c: NL346-FRNIC
tech-c: TUF1-FRNIC
notify: noc@gandi.net
registrar: GANDI
changed: 03/03/2006 noc@gandi.net
anonymous: NO
obsoleted: NO
source: FRNIC
REFERRER http://www.nic.fr
REGISTRAR AFNIC
SERVERS
SERVER fr.whois-servers.net
ARGS telecom-paristech.fr
PORT 43
TYPE domain
RegrInfo
DISCLAIMER
%
% This is the AFNIC Whois server.
%
% complete date format : DD/MM/YYYY
% short date format : DD/MM
% version : FRNIC-2.5
%
% Rights restricted by copyright.
% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%
% Use '-h' option to obtain more information about this service.
%
% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> telecom-paristech.fr
%
% RL Net [##########] - RL IP [########..]
%
REGISTERED yes
ADMIN
HANDLE GDED12-FRNIC
TYPE ORGANIZATION
CONTACT GROUPE DES ECOLES DES TELECOMMUNICATIONS
ADDRESS
46, rue Barrault
75634 Paris
COUNTRY FR
PHONE +33 1 45 81 75 68
EMAIL cc5151b7722862f790aac2b8b90930c6-869416@contact.gandi.net
SPONSOR GANDI
CHANGED 2010-12-20
ANONYMOUS NO
OBSOLETED NO
ELIGSTATUS ok
ELIGDATE 23/01/2009 00:00:00
SOURCE FRNIC
TECH
HANDLE GR283-FRNIC
TYPE ROLE
CONTACT GANDI ROLE
ADDRESS
Gandi
15, place de la Nation
75011 Paris
COUNTRY FR
EMAIL noc@gandi.net
TROUBLE
-------------------------------------------------
GANDI is an ICANN accredited registrar
for more information:
Web: http://www.gandi.net
-------------------------------------------------
- network troubles: noc@gandi.net
- SPAM: abuse@gandi.net
-------------------------------------------------
ADMIN-C NL346-FRNIC
TECH-C
NL346-FRNIC
TUF1-FRNIC
NOTIFY noc@gandi.net
SPONSOR GANDI
CHANGED 2006-03-03
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
OWNER
HANDLE GDED19-FRNIC
TYPE ORGANIZATION
CONTACT GROUPE DES ECOLES DES TELECOMMUNICATIONS
ADDRESS
46, rue Barrault
75634 Paris
COUNTRY FR
PHONE +33 1 45 81 75 68
EMAIL a078aac8f9a57e7b62b31d4a94a7fac6-etp7@contact.gandi.net
SPONSOR GANDI
CHANGED 2008-10-09
ANONYMOUS NO
OBSOLETED NO
ELIGSTATUS ok
ELIGDATE 19/12/2006 00:00:00
SOURCE FRNIC
DOMAIN
STATUS ACTIVE
HOLD NO
SPONSOR GANDI
EXPIRY DATE 07/12/2017
CREATED 2006-12-07
CHANGED 2016-07-27
SOURCE FRNIC
HANDLE NSL139207-FRNIC
NSERVER
NS-AUTH1.ENST.FR 137.194.2.156
NS-AUTH2.ENST.FR 137.194.2.157
NS7-EXT.ENST.FR 51.254.72.126
NS8-EXT.ENST.FR 79.143.243.129
NAME telecom-paristech.fr
Go to top
hdl.telecom-paristech.fr rapport :
Visitez le site