olivier@olivier-1015PEM:~/Téléchargements$ diff /opt/modelsim /home/olivier/model
Seulement dans /home/olivier/model: avm
Seulement dans /home/olivier/model: bin
Seulement dans /home/olivier/model: .default_vopt_flow_on
Seulement dans /home/olivier/model: drill_src
Seulement dans /home/olivier/model: examples
Seulement dans /home/olivier/model: floatfixlib
Seulement dans /home/olivier/model: ieee
Seulement dans /home/olivier/model: ieeepure
Seulement dans /home/olivier/model: include
Seulement dans /home/olivier/model: LICENSE
Seulement dans /home/olivier/model: mc2_lib
Seulement dans /home/olivier/model: modelsim.ini
Seulement dans /home/olivier/model: modelsim_lib
Seulement dans /opt/modelsim: modeltech
Seulement dans /home/olivier/model: mpich2
Seulement dans /opt/modelsim: _msidata
Seulement dans /home/olivier/model: ovm-2.0.3
Seulement dans /home/olivier/model: ovm-2.1.1
Seulement dans /home/olivier/model: pa_lib
Seulement dans /home/olivier/model: perl_src
Seulement dans /home/olivier/model: qvl_src
Seulement dans /home/olivier/model: rslt
Seulement dans /home/olivier/model: std
Seulement dans /home/olivier/model: std_developerskit
Seulement dans /home/olivier/model: sv_std
Seulement dans /home/olivier/model: synopsys
Seulement dans /home/olivier/model: tcl
Seulement dans /home/olivier/model: upf_lib
Seulement dans /home/olivier/model: upf_src
Seulement dans /home/olivier/model: uvm-1.0-EA
Seulement dans /home/olivier/model: uvm-1.0p1
Seulement dans /home/olivier/model: vco
Seulement dans /home/olivier/model: verilog
Seulement dans /home/olivier/model: verilog_src
Seulement dans /home/olivier/model: vhdl_src
Seulement dans /home/olivier/model: vital1995
Seulement dans /home/olivier/model: vital2000
Seulement dans /home/olivier/model: vital2.2b
Seulement dans /home/olivier/model: vm_src
olivier@olivier-1015PEM:~/Téléchargements$