pastebin

Paste Search Dynamic
Recent pastes
svBitVecVal
  1. #include <svdpi.h>
  2. void counter7(svBitVecVal *o, const svBitVecVal *i,const svBit reset,const svBit load )
  3. {
  4.  static unsigned char count=0;
  5.  if(reset) count=0;
  6.  else if(load) count=*i;
  7.  else count++;
  8.  count &=0x7f;
  9.  *o=count;
  10. }
Parsed in 0.003 seconds