// This is a SyReC-file describing the program counter of a RISC CPU as specified in [WSG+:2011].
// This file has been taken from RevLib (www.revlib.org). 

module program_counter(in reset(1), in enable(1), in jump(11),
                       inout pc(11) )
  wire zero(11)

  if reset then
    pc <=> zero
  else
    if enable then
      ++= pc
    else
      pc <=> jump
    fi enable
  fi reset  
