08-23-2008
Pls show the proof of the effort.
Last edited by vgersh99; 08-23-2008 at 01:05 PM..
Reason: jumping the gun - need to see the proof of the effort.
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi,
I got a lot of files looking like this:
1
0.5
6
All together there are ard 1'000'000 lines in each of the ard 100 files.
I want to build the average for every line, and write the result to a new file.
The averaging should start at a specific line, here for example at line... (10 Replies)
Discussion started by: chillmaster
10 Replies
2. Shell Programming and Scripting
Hi,
first, I have searched in the forum for this, but I could not find the right answer. (There were some similar threads, but I was not sure how to adapt the ideas.)
Anyway, I have a quite natural problem: Given are several text files. All files contain the same number of lines and the same... (3 Replies)
Discussion started by: rbredereck
3 Replies
3. UNIX for Dummies Questions & Answers
Hey all, I am relatively poor at programming and unfortunately don't have time to read about programming at this current moment.
I wanted to be able to run a simple command to read a column of numbers in a file and give me the average of those numbers. In addition if I could specify the... (2 Replies)
Discussion started by: Leonidsg
2 Replies
4. UNIX for Dummies Questions & Answers
Hi,
I have a space delimited text file that looks like the following:
Aa 100 200
Bb 300 100
Cc X 500
Dd 600 X
Basically, I want to take the average of columns 2 and 3 and print it in column 4. However if there is an X in either column 2 or 3, I want to print the non-X value. Therefore... (11 Replies)
Discussion started by: evelibertine
11 Replies
5. Shell Programming and Scripting
I have several sequential files with name stat.1000, stat.1001....to stat.1020 with a format like this
0.01 1 3822 4.97379915032e-14 4.96982253992e-09 0
0.01 3822 1 4.97379915032e-14 4.96982253992e-09 0
0.01 2 502 0.00993165137406 993.165137406 0
0.01 502 2 0.00993165137406 993.165137406 0... (6 Replies)
Discussion started by: kayak
6 Replies
6. Shell Programming and Scripting
Hi ,
I am a newbie!!!
I want to develop a script for deleting files older than x days from multiple paths. Now I could reach upto this piece of code which deletes files older than x days from a particular path. How do I enhance it to have an input from a .txt file or a .dat file? For eg:... (12 Replies)
Discussion started by: jhilmil
12 Replies
7. Shell Programming and Scripting
Hi all,
I think so I’m getting the result is wrong, while using following awk commend,
colval=$(awk 'FNR>1 && NR==FNR{a=$4;next;} FNR>1 {a+=$4; print $2"\t"a/3}'
filename_f.tsv filename_f2.tsv filename_f3.tsv)
echo $colval >> Result.tsv
it’s doing the condition 2 times, first result... (5 Replies)
Discussion started by: Shenbaga.d
5 Replies
8. Red Hat
Hi ,
My linux server is taking more time to calculate big size from long time.
* i am accessing server through ssh
* commands
# - du -sh *
#du -sh * | sort -n | grep G
Please guide me for fast way to find big size directories under to / partition
Thanks (8 Replies)
Discussion started by: Nats
8 Replies
9. Shell Programming and Scripting
Hi All,
Thank you for reading through my post and helping me figure out how I would be able to perform this task.
For example: I have a list of continuous output collected into a file in the format as seen below:
Date...........Time........C....A......... B
==========================... (5 Replies)
Discussion started by: terrychen
5 Replies
10. Shell Programming and Scripting
I have the following format of input from multiple files
File 1
24.01 -81.01 1.0
24.02 -81.02 5.0
24.03 -81.03 0.0
File 2
24.01 -81.01 2.0
24.02 -81.02 -5.0
24.03 -81.03 10.0
I need to scan through the files and when the first 2 columns match I... (18 Replies)
Discussion started by: ncwxpanther
18 Replies
PROOF(1) CAO-VLSI Reference Manual PROOF(1)
NAME
proof - Formal proof between two behavioural descriptions
ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
SYNOPSIS
proof [-a] [-d] file1 file2
DESCRIPTION
Made to run on a data-flow description, proof supports the same subset of VHDL as asimut and boom and boog (for further informations about
this subset, please call the VHDL manual). proof uses a Reduced Ordered Binary Decision Diagrams representation that permits the designer
to prove easily the functionnal equivalence between two behavioral descriptions. proof is generally used in order to compare a behavioural
specification with an extracted behaviour obtained by yagle.
In default mode, a collapsing phase is done on the description by removing all the auxiliary signals (the BDD of the outputs, the registers
and the buses are described from the inputs or the registers). The two descriptions must contain the same ressources (signals register with
the same name). It is possible to use the .inf file in yagle (see further remark about YAGLE in this document) to rename the registers in
the extracted behavioural description (see man yagle). The datas and the commands (the guarded expressions) must match separatly. The buses
corresponding to completely specified logical functions are represented by a logical multiplexor in both descriptions. The two descrip-
tions must have the same interface (VHDL entity), if they do not, the formal proof is stopped.
proof only uses two system environment variables related to the work directory.
ENVIRONMENT VARIABLES
MBK_WORK_LIB gives the path for the behavioral descriptions. The default value is the current directory.
MBK_CATA_LIB gives some auxiliary pathes for the behavioral descriptions. The default value is the current directory.
OPTIONS
Options may be given in any order before the filenames.
-a This option asks proof to keep the common auxiliary signals. proof keeps all intermediate signals that have the same name in both
descriptions (A common signal is considered as an input and an output of each description). This option can be useful for descrip-
tions containing large equations. It may be used when proof has failed or if you want to debug in step by step mode the two differ-
ent descriptions.
-d The program displays errors when the behavioral descriptions are different. Equations are displayed when it's possible.
EXAMPLE
proof -a -d adder1 adder2
YAGLE
YAGLE (Functional abstraction) is now comercially distributed by Avertec (http://www.avertec.com/). More information can be obtained at
their web site. Binaries of this tool can also be downloaded for non-commercial university research.
SEE ALSO
boom (1), boog (1), loon (1), asimut(1), vhdl(5), vbe(5).
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.
ASIM
/LIP6 October 1, 1997 PROOF(1)