Actions

History

Wiki » History » Revision 30

« Previous | Revision 30/39 (diff) | Next »
Sergey Smolov, 05/12/2016 06:03 PM

User Documentation¶

Overview
Installation Guide
Command Line Options

Programmer Documentation¶

Code Style Guide
Logging
Project Structure
Used Tools
Utility Classes and Methods

Building
Release management

Scientific and Technical Papers¶

Retrascope-Related Publications

Internal Documentation¶

Ideas and Proof of Concept
Control Flow Graph representation
GAA Meta-Model
CFG Extraction
EFSM Building
EFSM Traversal
Deadlock Analysis
Adapter Description
Test sequences XML representation
HDL Testbench Simulation
C++TESK templates XML representation

Files (0)

Updated by Sergey Smolov over 8 years ago · 39 revisions