Advanced Assertion-Based Design for Mixed-Signal Verification.
Alexander JesserStefan LämmermannAlexander PacholikRoland WeissJürgen RufLars HedrichWolfgang FenglerThomas KropfWolfgang RosenstielPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2008)