Giuseppe Bonfini, Monica Chiavacci, Riccardo Mariani, Egidio Pescari: A mixed-signal verification kit for verification of analogue-digital circuits. DATE Designers' Forum 2006: 88-93