Interactive verification of switched-current sigma-delta modulators | Publicación