CAD for verification testing

Abstract

Recently, the Canadian Microelectronics Corporation published a favoured design-flow and tool-set for the rapid prototyping of digital systems. The tool-set includes a spread-sheet like testing tool called the Control Panel from Mentor Graphics. This paper examines Control Panel features that support verification testing. A derivative of the Mead and Conway traffic-light controller is used to demonstrate Control Panel usage both for interactive testing and for algorithmic testing.