KUVAUS:
Testipenkki on tehty kellottomaksi prosessiksi, jonka simulaattori
ajaa kertaalleen läpi. Prosessin sisällä on sijoitettu signaaleihin
ja käytetty wait-käskyä lohkon testaukseen.

Lohkon oikea toiminta varmistetaan assert-lauseilla. Eri testitapaukset
testaavat järjestyksessä:
- Laskurin resetoinnin rst_n-signaalilla
- Peruslaskennan 0:sta maximum_count_g:hen
- Laskurin pysähtymisen maximum_count_g:hen
- Laskurin arvon asetuksen set-signaalilla
- Laskurin pysäytyksen enable-signaalilla
- Arvon rajoituksen, jos koitetaan asettaa set:llä isompi luku kuin
  maximum_count_g

Testipenkissä voi muuttaa laskurin genericien arvoja.

TESTIKATTAVUUS:
Testipenkki testaa kaikki counter.vhdl:n haarat. Mahdolliset
ongelmat johtuvat todennäköisimmin väärin luetusta tai ymmärretystä
määrittelystä. Näitä on vaikeaa löytää, jos testipenkin tekevät samat
henkilöt kuin varsinaisen toteutuksen.

KÄÄNTÖJÄRJESTYS:
counter.vhdl, tb_counter.vhdl

KÄÄNTÖKÄSKYT:
Lintulassa täytyy ensin hakea modelsim käskyllä:
source /share/tktprog/mentor/modeltech-6.3d/modeltech.sh

Sekä luoda kirjastot jos näin ei ole vielä tehty:
vlib my_lib
vmap work $PWD/my_lib
vmap

Tämän jälkeen vhdl-tiedosto voidaan kääntää käskyllä

vcom -check_synthesis POLKU/tiedosto.vhdl

Vaihtoehtoisesti voi käyttää ghdl-simulaattoria (ei ole Lintulassa)
komennolla "make".

AJANKÄYTTÖ:
Heikki:  1h
Petteri: 0.5h