DocumentCode
2374249
Title
CAD for verification testing
Author
Walsh, Peter ; Hoffman, Daniel
Author_Institution
Dept. of Comput. Sci., Malaspina Univ.-Coll., Nanaimo, BC, Canada
Volume
2
fYear
1997
fDate
25-28 May 1997
Firstpage
724
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1997. Engineering Innovation: Voyage of Discovery. IEEE 1997 Canadian Conference on
Conference_Location
St. Johns, Nfld.
ISSN
0840-7789
Print_ISBN
0-7803-3716-6
Type
conf
DOI
10.1109/CCECE.1997.608342
Filename
608342
Link To Document