11-20-2017
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hey can anyone tell me the korn script code to implement an interactive integer calculator using the shell's built in arithemetic expression evaluation (2 Replies)
Discussion started by: sahithi_khushi
2 Replies
2. Shell Programming and Scripting
I am pretty new to the Unix word, and have created a working calculator script. I have one problem. It doesn't use any decimals, it rounds off to the nearest whole number.
1 #!/bin/ksh
2 while true; do
3 echo -n "Enter the first integer: "; read IN1
4 test... (2 Replies)
Discussion started by: ironhead3fan
2 Replies
3. UNIX for Dummies Questions & Answers
hi, im new to the unix system and scripting and was wondering if anyone could help me with this problem iv been havin... i want the system to:
1. ask me for a number
2. ask me for a command to use on that number (* + - /)
3. ask me for another number
4. then ask me for another command, if the... (2 Replies)
Discussion started by: jdougy
2 Replies
4. Shell Programming and Scripting
I have 2 questions.
1) Is there a means of directing output to a file (">") while making it still output to the console?
I have a script that calls another lengthy script.
2) I can direct the output of the lengthy script and grep it for the words "good" or "bad" to know if I need the run... (2 Replies)
Discussion started by: mrwatkin
2 Replies
5. Shell Programming and Scripting
Hi Guys,
I found this code in net.. it is working fine..
But can anybody explain me the sed statement used in the code..
echo "Enter the expression:\c"
read express
eval echo "$express"|sed 's/^/'$precision' \
/'|bc -l|\
sed -n '1,${
/syntax/!{
}
... (2 Replies)
Discussion started by: mac4rfree
2 Replies
6. Shell Programming and Scripting
hi,
I have some problems in my simple script about the redirect echo stdout command inside a condition. Why is the echo command inside the elif still execute in the else command
Here are my simple script
After check on the two diff output the echo stdout redirect is present in two diff... (3 Replies)
Discussion started by: jao_madn
3 Replies
7. Homework & Coursework Questions
Use and complete the template provided. The entire template must be completed. If you don't, your post may be deleted!
1. The problem statement, all variables and given/known/data:
Script a simple calculator. In the command line enter the script file
/home/etc/mycalc or /home/etc/mycalc 1 +... (6 Replies)
Discussion started by: herb bertz
6 Replies
8. Shell Programming and Scripting
HI
My doubt may be basic one but I need to get it clarified..
When i use "if" condition that checks for many AND, OR logical conditions
like
if ]; then
return 0
fi
Even the if condition fails it returns as zero.. Any clue..
But if i add else condition like
if ]; ... (2 Replies)
Discussion started by: Priya Amaresh
2 Replies
9. Shell Programming and Scripting
I wrote a code to find codons in a DNA string. The only problem I have is how do I make the code only work for a file with DNA. This means the file only has the characters a,c,g,t and no white space characters. (3 Replies)
Discussion started by: germany1517
3 Replies
10. UNIX for Beginners Questions & Answers
So have I got this :
#!/bin/bash
clear
echo "Enter the first number:"
read n1
echo "Choose an operation:"
echo "1. add"
echo "2. subtract"
echo "3. multiply"
echo "4. divide"
read opr
echo "Enter the second number:"
read n2 (1 Reply)
Discussion started by: mugiboya
1 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)