Retrascope is a toolkit for Reverse Engineering, visualization and TRAnsformation of digital hardware designs described in such HDLs (hardware description languages) as Verilog and VHDL. The toolkit allows analysing HDL descriptions, reconstructing and visualization of the underlying models (extended finite state machines, EFSMs) and using the derived models for test generation, property checking and other tasks. Retrascope is organized as an extendable 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.
More info is available in Wiki
|Office||25 Alexander Solzhenitsyn st., rooms 210 and 211, Moscow, 109004, Russia|
Licensing and Distribution¶
The Retrascope package is distributed under the Apache License, Version 2.0, which implies the freedom to use the software for any purpose (to distribute it, to modify it and to distribute modified versions of the software) under the terms of the license, but requires preservation of the copyright notice and disclaimer.
The package can be downloaded from the Files page.
|ANTLR3||BSD License||Parsing Verilog files|
|Castle||Apache License, 2.0||Developing translators and code generators|
|Commons CLI||Apache License, 2.0||Parsing command line options|
|Commons Collections||Apache License, 2.0||Manipulating with bidirectional mappings|
|Commons IO||Apache License, 2.0||Processing for inputs\outputs|
|Commons Lang||Apache License, 2.0||Providing utility methods|
|Commons Logging||Apache License, 2.0||Providing logging utilities|
|Fortress||Apache License, 2.0||Representing expressions and solving constraints|
|Jython||Python Software Foundation License Version 2||Supporting zamiaCAD operation|
|JUNG||BSD License||Operating with graphs|
|JUnit||Eclipse Public License 1.0||Testing project classes|
|Log4J||Apache License, 2.0||Operating with logging options of zamiaCAD|
|Log5J||Apache License, 2.0||Operating with Log4j library|
|NuSMV||LGPL 2.1 License||Symbolic model checking|
|nuXmv||Copyright by Fondazione Bruno Kessler 2014||Symbolic model checking|
|Verilog Translator||Apache License, 2.0||Building AST from Verilog files|
|z3||MIT License||Theorem prover and SMT solver|
|zamiaCAD||GNU General Public License Version 3||Processing VHDL files|
Retrascope 1.1.* re-uploaded
Retrascope 1.1.* packages have been re-uploaded.
Retrascope 1.1.2 released
Retrascope 1.1.2 has been released.
Retrascope 1.1.1 released
Retrascope 1.1.1 has been released.
Retrascope 1.0.1 released
Retrascope 1.0.1 (formerly HDL Retrascope) has been released.
HDL Retrascope 0.2.2 released
HDL Retrascope 0.2.2 has been released.
Manager: Alexander Kamkin, Sergey Smolov
Developer: Alexander Protsenko, Alexander Kamkin, Mikhail Chupilko, Mikhail Lebedev, Sergey Smolov
Reporter: Maksim Jenihhin
Project Creator: Alexander Kamkin, Sergey Smolov