We present a numerical Wigner function model for the simulation of mes
oscopic semiconductor devices. An exact non-local formulation of the t
ransport equation in the Wigner presentation and its discretization fo
r numerical calculation are discussed. The capability of the developed
Wigner simulator is demonstrated by applying it to a resonant tunneli
ng diode where quantum interference effects are important.