Project

General

Profile

Overview » History » Version 6

Sergey Smolov, 02/07/2020 04:10 PM

1 1 Sergey Smolov
h1. Overview
2
3 3 Sergey Smolov
"Retrascope":http://forge.ispras.ru/projects/retrascope is a toolkit for Reverse Engineering and TRAnsformation of digital hardware designs described in such HDLs (hardware description languages) as Verilog and VHDL. The toolkit allows analyzing HDL descriptions, reconstructing the underlying models and using them for test generation, property checking and other tasks. "Retrascope":http://forge.ispras.ru/projects/retrascope is organized as an extensible framework with the ability to add new types of models as well as tools for their analysis and transformation. The primary application domain of the toolkit is functional verification of hardware at the unit level.
4
5 4 Sergey Smolov
Retrascope is written in Java. The toolkit provides command line interface ("Eclipse":https://www.eclipse.org based GUI called "Retrascope IDE":https://forge.ispras.ru/projects/retrascope-ide is outdated and not supported right now).
6 3 Sergey Smolov
7 5 Sergey Smolov
Retrascope consists of three subsystems: 1) data representations (_entities_); 2) active components (_engines_); 3) _library_ . Entities are either internal representations (_models_) of HDL descriptions or _artifacts_ . Models are based on the HDL code and can either be extracted from it or generated through a sequence of transformations. Artifacts are built from models or described by the user (like specifications). 
8 3 Sergey Smolov
9
Retrascope entities include the following: 
10
* Control Flow Graph (CFG); 
11
* Guarded Actions Decision Diagram (GADD); 
12
* Extended Finite State Machine (EFSM); 
13
* Input signals sequence (Test); 
14
* Specification to be checked (Property).
15
 
16
Engines are active components that implement the logic of entities’ analysis, transformation, etc. Every engine belongs to the one of several categories: 
17
* Transformer – transforms a model of one type to another type;
18
* Launcher – runs external tool on an entity; 
19
* Generator – creates an artifact from an entity; 
20
* Simulator – performs model’s execution; 
21
* Printer – translates an entity into a graphical or text format; 
22
* Parser – creates an entity from a text description. 
23
24 6 Sergey Smolov
On Fig. 1 the main flow of the Retrascope toolkit and several used engines are shown. Engines are shown as black round nodes, models are shown as rectangles and artifacts are shown as elliptic nodes. Data flows are shown as arrows, file reading/writing interactions are shown as dotted arrows. Model checker is not a part of Retrascope, so there is a possibility to change it.
25 3 Sergey Smolov
26
*Figure 1* : Hardware model checking flow in Retrascope
27 1 Sergey Smolov
!fig-1-retrascope-flow.png(*Figure 1* : Hardware model checking flow in Retrascope)!
28 3 Sergey Smolov
29 5 Sergey Smolov
The engines cannot interact with each other. Instead, they can be combined in sequences, so-called _toolchains_ . Two components can be combined if one of them returns an entity of some type and the other takes this entity as input. The library part of the Retrascope framework provides facilities to automatically build toolchains. Target types of engines and entities are user-defined. On Fig. 1 the following toolchain is shown: “ _Parser (1), Parser (2), Transformer, Launcher, Parser (3), Printer_ ”. The user specifies the target entity and main engines and the toolkit constructs the required toolchain and applies it to input data.