Atalanta

Atalanta copied to clipboard

In some combinational circuits buffer is added as one of the components in bench file. @hsluoyz Why do we need to add buffer , even if without adding the buffer...

priyajit99

What is the significance of bench files in atalanta. Why only bench file is given as input in atalanta

priyajit99

when i use ./atalanta s9234.bench,this error would happened. but it wouldn't happened when i use ./atalanta s5378.bench

songxueheng

Error : INPUT is not valid

7

I had followed all steps given in Installation Procedure, but then I am getting the following error zakir@zakir-virtual-machine:~$ atalanta c17.bench INPUT is not valid Fatal error: Error in circuit file

mdzakirhussain

How to link MATLAB code with ATALANTA.

priyajit99

The difference of print_atpg_result in logmode and terminal printout

2

I am curious about why it sends different results(iNoPatternsAfterCompact vs (int)(iNoPatternsAfterCompact / 9.4443)) to logfile and terminal. Is that for any calculation purpose? [location: atalanta.cpp: line742;752] 

ONQLin

bench file

1

when we have constant input in our circuits, how it represent in bench format?

mahtab8993

Make command failed

3

While compiling the source code to make the executable, it is showing "io.o: In function `Z9getMemoryv': C:\Users\PRIYAJIT\downloads\Atalanta-master/io.cpp:774: undefined reference to `GetProcessMemoryInfo@12' collect2.exe: error: ld returned 1 exit status makefile:37: recipe...

priyajit99

I am typing to use the Atalanta tool on a bench file that contains multi-input XOR gates, however, the tool gives an error for multi-input XOR gates and only allows...

mahtab8993