@inproceedings{DATE-DF-2006-BonfiniCMP,
	author        = "Giuseppe Bonfini and Monica Chiavacci and Riccardo Mariani and Egidio Pescari",
	booktitle     = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe: Designers’ Forum}",
	doi           = "10.1145/1131355.1131374",
	isbn          = "3-9810801-0-6",
	pages         = "88--93",
	publisher     = "{European Design and Automation Association, Leuven, Belgium}",
	title         = "{A mixed-signal verification kit for verification of analogue-digital circuits}",
	year          = 2006,
}