Skip to content

Commit 250f703

Browse files
author
xinoip
committed
readme update
1 parent a65e244 commit 250f703

File tree

1 file changed

+32
-15
lines changed

1 file changed

+32
-15
lines changed

README.md

Lines changed: 32 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,30 +1,47 @@
1-
# PLODE
2-
Precise Logic and Delay (PLODE) is a tool that converts a Structural Verilog to a Spice deck, executes Spice simulations using ngspice and performs analysis of the Spice results to extract output delays and logic values. It can handle hierarchical Verilog with nested module instantiations. It takes into consideration glitches at the outputs in computing the output logic values and delays.</br>
1+
# verilog-atpg
32

4-
To download and run the program correctly:
5-
1. Download ngspice from its website and do its installation.
6-
2. Download QT Creator with QT5 and QTCharts support.
7-
3. Once all downloaded, it can be opened on QT Creator by opening the .pro file with QT Creator.
8-
4. After building, PLODE GUI is ready to go.
3+
[demo video](https://www.youtube.com/watch?v=DSQ6wMlrREo)
94

5+
This tool takes a Structural Verilog source code as an input and applies ATPG algorithms to that circuit. Algorithm results will generate input and output signal patterns that will test the resulting circuit for manufacturing defects.
106

11-
# Build without QTCreator
7+
# Features
128

13-
For release:
9+
verilog-atpg can do the following:
1410

11+
- Generate ATPG for stuck-at-0 fault
12+
- Generate ATPG for stuck-at-1 fault
13+
- Delay timing analysis
14+
- Critical path calculation from delays
15+
- Path sensitization
16+
- Critical path sensitization
17+
- Delay fault detection
18+
- False path detection
19+
20+
# Build
21+
22+
You can use QTCreator with provided `.PRO` file but if you wish to build without QTCreator you can use following.
23+
24+
Get required QT dependencies. For ubuntu:
25+
26+
```bash
27+
sudo apt install qt5-default qt5-qmake libqt5charts5-dev qtmultimedia5-dev
1528
```
16-
qmake-qt5 PLODE.pro
29+
30+
Build the project.
31+
32+
```bash
33+
qmake
1734
make
1835
```
1936

20-
For debug:
37+
For debug you can build the project like following:
2138

22-
```
23-
qmake-qt5 CONFIG+=debug PLODE.pro
39+
```bash
40+
qmake CONFIG+=debug
2441
make
2542
```
2643

27-
# Some test cases
44+
## Some test cases
2845

2946
```txt
3047
dcirc1 N30 stuck-at-0
@@ -62,7 +79,7 @@ POs: N7[C]
6279
provided 3 delay files for test circuits
6380
```
6481

65-
# Test Circuits
82+
## Test Circuits
6683

6784
d_test_circ_1.v
6885

0 commit comments

Comments
 (0)