TEST_VECTORS
"
" Input Stimulus to exercise four-bit PWM DAC
"
" Inputs: DACIn3, DACIn2, DACIn1, DACIn0; Clock
" Outputs: Count3, Count2, Count1, Count 0; PWMOut
"
    ( [DACIn3..DACIn0] -> [Count3..Count0,PWMOut] )

" Define 10ns clock signal
	CYCLE Clock (0,5)(1,5);

" Initial value of DAC input is zero
       0   ->  0 ;

" Wait for PWM cycle to complete, then increment DAC input
" to next value. Repeat for each possible DAC input.
" NOTE: Expected output is set to zero simply as a place-holder.
" Look at the waveforms to verify correct operation.
       WAIT 150;1   ->  0 ;
       WAIT 160;2   ->  0 ;
       WAIT 160;3   ->  0 ;
       WAIT 160;4   ->  0 ;
       WAIT 160;5   ->  0 ;
       WAIT 160;6   ->  0 ;
       WAIT 160;7   ->  0 ;
       WAIT 160;8   ->  0 ;
       WAIT 160;9   ->  0 ;
       WAIT 160;10  ->  0 ;
       WAIT 160;11  ->  0 ;
       WAIT 160;12  ->  0 ;
       WAIT 160;13  ->  0 ;
       WAIT 160;14  ->  0 ;
       WAIT 160;15  ->  0 ;
       WAIT 160;0   ->  0 ;