Wigner-function model of a resonant-tunneling semiconductor device | Synapse