![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
Changeset 105 for caseStudy_Huffmann
- Timestamp:
- Dec 20, 2012, 2:34:32 PM (13 years ago)
- Location:
- caseStudy_Huffmann/huffmann
- Files:
-
- 121 added
-
. (added)
-
doc (added)
-
doc/experiments (added)
-
doc/experiments/huff_basic_env.tex (added)
-
doc/experiments/huff_grade2.tex (added)
-
doc/experiments/huff_grade_synchro.tex (added)
-
doc/experiments/huff_my_orig.tex (added)
-
doc/experiments/huff_original_res.tex (added)
-
doc/experiments/huff_original_res_small.tex (added)
-
doc/experiments/huff_synchro.tex (added)
-
doc/experiments/huff_with_env.tex (added)
-
doc/fig (added)
-
doc/fig/ArchGeneral.fig (added)
-
doc/fig/ArchGeneral.pdf (added)
-
doc/fig/decoder_aut.fig (added)
-
doc/fig/decoder_aut.pdf (added)
-
doc/fig/decoder_synchro.fig (added)
-
doc/fig/decoder_synchro.pdf (added)
-
doc/fig/encoder_aut.fig (added)
-
doc/fig/encoder_aut.pdf (added)
-
doc/fig/encoder_aut_vis.fig (added)
-
doc/fig/encoder_aut_vis.fig.bak (added)
-
doc/fig/encoder_aut_vis.pdf (added)
-
doc/fig/encoder_synchro.fig (added)
-
doc/fig/encoder_synchro.pdf (added)
-
doc/fig/encoder_with_env.fig (added)
-
doc/fig/encoder_with_env.fig.bak (added)
-
doc/fig/encoder_with_env.pdf (added)
-
doc/fig/env_start.fig (added)
-
doc/fig/env_start.fig.bak (added)
-
doc/fig/env_start.pdf (added)
-
doc/fig/environment.fig (added)
-
doc/fig/environment.pdf (added)
-
doc/huffmann_experiments.aux (added)
-
doc/huffmann_experiments.log (added)
-
doc/huffmann_experiments.pdf (added)
-
doc/huffmann_experiments.tex (added)
-
huff_TMR (added)
-
huff_TMR/TMR.sim (added)
-
huff_TMR/huff.ctl (added)
-
huff_TMR/huff_TMR.mv (added)
-
huff_TMR/huff_TMR.v (added)
-
huff_ack (added)
-
huff_ack/huff.ctl (added)
-
huff_ack/huff_ack.sim (added)
-
huff_ack/huff_reset_ext.mv (added)
-
huff_ack/huff_reset_ext.v (added)
-
huff_ack/readme (added)
-
huff_any_text (added)
-
huff_any_text/comp_env+huff.v (added)
-
huff_any_text/comp_env+huff_vis.v (added)
-
huff_any_text/env+huff.v (added)
-
huff_any_text/env+huff_vis.v (added)
-
huff_any_text/env.fair (added)
-
huff_any_text/huff.mv (added)
-
huff_any_text/huff.v (added)
-
huff_any_text/huff_vis.v (added)
-
huff_any_text/huff_with_env_vis.v (added)
-
huff_any_text/protect_env.reg (added)
-
huff_any_text/protect_golden.reg (added)
-
huff_any_text/register.reg (added)
-
huff_any_text/robScript.sh (added)
-
huff_any_text/safe_rob1.ctl (added)
-
huff_any_text/script_grade.sh (added)
-
huff_original (added)
-
huff_original/huff.mv (added)
-
huff_original/huff.v (added)
-
huff_original/protect_golden.reg (added)
-
huff_original/protect_output.reg (added)
-
huff_original/register.reg (added)
-
huff_original/resultat_huff_orig (added)
-
huff_original/rob1.ctl (added)
-
huff_original/robScript.sh (added)
-
huff_original/safe_rob1.ctl (added)
-
huff_original/script_grade.sh (added)
-
huff_original/vis_rob_msmt (added)
-
huff_original/vis_rob_msut (added)
-
huff_original/vis_rob_script1 (added)
-
huff_original/vis_rob_usmt (added)
-
huff_original/vis_rob_usut (added)
-
huff_reset (added)
-
huff_reset/huff.ctl (added)
-
huff_reset/huff.ltl (added)
-
huff_reset/huff_reset1.mv (added)
-
huff_reset/huff_reset1.v (added)
-
huff_reset/huff_reset2.mv (added)
-
huff_reset/huff_reset2.v (added)
-
huff_reset/robScript.sh (added)
-
huff_reset/safe.sh (added)
-
huff_reset/safe_rob1.ctl (added)
-
huff_reset/test.sim (added)
-
huff_synchro (added)
-
huff_synchro/Readme (added)
-
huff_synchro/cex (added)
-
huff_synchro/huff.ctl (added)
-
huff_synchro/huff_synchro.mv (added)
-
huff_synchro/huff_synchro.sim (added)
-
huff_synchro/huff_synchro.v (added)
-
huff_synchro/register.reg (added)
-
huff_with_env (added)
-
huff_with_env/.huff_with_env.v.swo (added)
-
huff_with_env/cex (added)
-
huff_with_env/env+huff.v (added)
-
huff_with_env/env.fair (added)
-
huff_with_env/env.sim (added)
-
huff_with_env/environment.v (added)
-
huff_with_env/environment2.mv (added)
-
huff_with_env/environment2.v (added)
-
huff_with_env/huff_with_env.mv (added)
-
huff_with_env/huff_with_env.sim (added)
-
huff_with_env/huff_with_env.v (added)
-
huff_with_env/prop_safe.ctl (added)
-
huff_with_env/protect_env.reg (added)
-
huff_with_env/protect_golden.reg (added)
-
huff_with_env/readme (added)
-
huff_with_env/rob_composition.mv (added)
-
huff_with_env/rob_composition.v (added)
-
huff_with_env/safe.ctl (added)
-
huff_with_env/script (added)
-
readme.txt (added)
-
register.reg (added)
Note: See TracChangeset
for help on using the changeset viewer.
