Title :
CAD for verification testing
Author :
Walsh, Peter ; Hoffman, Daniel
Author_Institution :
Dept. of Comput. Sci., Malaspina Univ.-Coll., Nanaimo, BC, Canada
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
Keywords :
hardware description languages; program verification; software prototyping; software tools; Canadian Microelectronics Corporation; Mentor Graphics Control Panel; algorithmic testing; interactive testing; rapid prototyping; spread-sheet like testing tool; traffic-light controller; verification testing; Computer graphics; Computer science; Costs; Design automation; Digital systems; Educational institutions; Hardware design languages; Microelectronics; Prototypes; Software testing;
Conference_Titel :
Electrical and Computer Engineering, 1997. Engineering Innovation: Voyage of Discovery. IEEE 1997 Canadian Conference on
Conference_Location :
St. Johns, Nfld.
Print_ISBN :
0-7803-3716-6
DOI :
10.1109/CCECE.1997.608342
