# SIMPLE-MAGIC

**Repository Path**: hfutlc/SIMPLE-MAGIC

## Basic Information

- **Project Name**: SIMPLE-MAGIC
- **Description**: SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-03-29
- **Last Updated**: 2023-04-17

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# SIMPLE-MAGIC
SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC

## Dependencies
In order to use SIMPLE-MAGIC, you will need a Linux machine with:
1. Python 2.7
2. [Z3](https://github.com/Z3Prover/z3): Run the following commands to install it:
```sh
git clone --recursive https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py --python
cd build
make
make install
```
3. [ABC Synthesis Tool](https://bitbucket.org/alanmi/abc)
4. The following Python packages (for graphic description of the solution):
- tk
```sh
apt-get install python-tk
```
- matplotlib
```sh
apt-get install python-matplotlib
```
- [OpenCV](http://docs.opencv.org/2.4/doc/tutorials/introduction/linux_install/linux_install.html)

## Manual
1. Configure: in the file simple_conf.cfg you will find the following content:
```ini
[input_output]
input_path=cm138a.blif
; input_format can get one of the values: verilog, blif
input_format=blif
output_path=cm138a_output

[abc]
abc_dir_path=/home/adi/abc/alanmi-abc-eac02745facf

[Z3]
Z3_path=/usr/bin/z3

```
Change the parameters according to your needs.

2. Run:
```sh
python simple_main.py
```
3. Parse:
When Z3 finishes running and output_path is created, run:
```sh
python convert_gates_2_array.py -f output_path
```
The memory array will be printed, for example:
![Alt text](images/full_adder_table.png?raw=true "Title")

In addition, two images will be created:
- Graphic description of the logic execution in the memory. The table drawn in this image represents the memory array. Each circle is a gate port (input or output). Inputs are denoted with the letters A-C and outputs are denoted with E. the number following the letter identifies the gate. Each clock cycle is marked with a different color.
![Alt text](images/full_adder_1bit_nor2_Z3output_table.png?raw=true "Title")
- Clock cycle legend.

![Alt text](images/full_adder_1bit_nor2_Z3output_legend.png?raw=true "Title2")