Arche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies, with primary focus on ReRAMs.
The repository has been tested with Python 3.6.7 on Ubuntu 14.04 and 18.04.
python3 arche.py
Synthesis and technology mapping for emerging technologies
arche>
arche> help
arche supports behavioural simulation of the ReVAMP architecture. The details of simulation can be found in the this tutorial.
arche> revamp -f simfile
arche has support for mapping multiple benchmarks to the ReVAMP architecture.
usage: sha [-h] [-t TEXT] [-g GEN] [-d DIR]
Generate instructions for hashing a given text on ReVAMP
optional arguments:
-h, --help show this help message and exit
-t TEXT, --text TEXT Text to be hashed
-g GEN, --gen GEN Valid option: sha2,sha3
-d DIR, --dir DIR Output directory
Example usage to hash hello and write the output to the tests directory:
sha -t hello -g sha3 -d tests
The tool supports reading verilog files consisting of only NOR and NOT gates.
arche> read test_map.v
The mapped file can be generated by using ABC and consists of only NOR and NOT gates. A script for generating a NOR/NOT mapped netlist from .aig files is available in NetListGenerator. A sample mapped file is shown avaiable here
The following command tries to find a solution for mapping the read verilog file with minimum number of devices (option -md) and with the minimum number of cycles (-ms). There is a soft timelimit option in millisecs for the z3 solver using the -t flag.
arche> rowsat -md -ms -t timelimit
The command can also be invoked to find solution to single row mapping of a file with a constraint on the number of steps (option -s) and the number of devices (option -c) avaiable for mapping.
arche> rowsat -s steps -c devices
The output is shown in the terminal.
[cycle number] operation nodeid [Dev deviceid]
Details of the algorithm can be found in the following link : OptiSIMPLER
arche> quit