Project

General

Profile

Wiki » History » Version 20

Mikhail Chupilko, 09/19/2013 04:32 PM

1 4 Mikhail Chupilko
h1. Wiki Start Page
2 1 Mikhail Chupilko
3 5 Mikhail Chupilko
[[C++TESK Testing ToolKit]] was created to facilitate [[verification]] of complex hardware designs. C++TESK includes all the best [[CTESK]] abilities of FSM-based test stimuli generation and usage of pre- and post-conditions. To start using the toolkit is possible after downloading, decompressing, compiling with gcc.
4 1 Mikhail Chupilko
5 6 Mikhail Chupilko
The toolkit delivers rather useful and convenient API to create [[test systems]] for hardware models. All the components of test systems based on the toolkit are written only by means C++ language. The test systems usually include following components: a test oracle (it includes a reference model and an adapter for the model), a functional coverage tracker based on the reference model, test scenarios. The test systems being developed follow TLM-like approach to the sending data between its components; both approaches are based on messages. According to the level of detail of the reference model and the carefulness of the oracle, the resulted test system can be called cycle-accurate, approximated, and time-free.
6 1 Mikhail Chupilko
7 13 Mikhail Chupilko
There is a possibility of [[using C++TESK and SystemVerilog together]].
8
9 10 Alexander Kamkin
[[Whitepaper]]
10
11 12 Alexander Kamkin
[[FAQ]]
12
13 7 Alexander Kamkin
[[Command Line Utilities]]
14 8 Alexander Kamkin
15 9 Alexander Kamkin
[[System Requirements]]
16 11 Alexander Kamkin
17
[[Installation Guide]]
18 14 Alexander Kamkin
19 18 Alexander Kamkin
[[C++TESK Cookbook]]
20
21 14 Alexander Kamkin
[[C++TESK Macros]]
22 15 Alexander Kamkin
23 17 Alexander Kamkin
[[C++TESK-Related Publications]]
24 19 Mikhail Chupilko
25
[[C++TESK Getting Started]]
26 20 Mikhail Chupilko
27
[[C++TESK Test Engines]]
28
29
[[C++TESK Quick Reference]]