10-13-2013
Yes that is correct. I only just realised that I made a typo and should have written Cnum = 53
I suppose my proof reading needs to improve to avoid confusion.
Thanks again
Ken
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi,
I am trying to make an associative array to use in a popup_menu on a website. Here is what i have:
foreach $entr ( @entries )
{
$temp_uid = $entr->get_value(uid);
$temp_naam = $entr->get_value(sn);
$s++;
}
This is the popup_menu i want to use it in.
popup_menu(-name=>'modcon',... (4 Replies)
Discussion started by: tine
4 Replies
2. Shell Programming and Scripting
Hi,
When using sort on an associative array:
foreach $key (sort(keys(%opalfabet))){
$value = $opalfabet{$key};
$result .= $value;
}
How does it handle double values?
It seems to me that it removes them, is that true? If so, is there a way to get... (2 Replies)
Discussion started by: tine
2 Replies
3. Shell Programming and Scripting
Dear all,
I'm have a sorted array like this:
177
220
1001
2000
2001
2003
2005
notice that 2002 and 2004 are NOT in array.
Then user input a number INPUT, our script should return OUTPUT value like this:
if INPUT is not in array => OUTPUT=INPUT
if INPUT is in array => OUTPUT is the... (4 Replies)
Discussion started by: fongthai
4 Replies
4. Shell Programming and Scripting
Hi,
I have an html page like this:
<html>
<body>
<form action="test.php" method = "post">
Enter your name:<input name="search" type = "text" size ="40">
<br>
Enter your age:<input name="age" type = "text" size ="20">
<input type = "submit" name="submit" value="search">
<input type =... (1 Reply)
Discussion started by: vanitham
1 Replies
5. Shell Programming and Scripting
Hi All,
I got stuck up with shell script where i use awk. The scenario which i am working on is as below.
I have a file text.txt with contents
COL1 COL2 COL3 COL4
1 A 500 400
1 B 500 400
1 A 500 200
2 A 290 300
2 B 290 280
3 C 100 100
I could able to sum col 3 and col4 based on... (3 Replies)
Discussion started by: imsularif
3 Replies
6. Shell Programming and Scripting
Hi All,
I got stuck up with shell script where i use awk. The scenario which i am working on is as below.
I have a file text.txt with contents
COL1 COL2 COL3 COL4
1 A 500 200
1 B 500 300
2 A 290 150
2 B 290 140
3 C 100 100
I could able to sum col 3 and col4 based on col1 using... (1 Reply)
Discussion started by: imsularif
1 Replies
7. Shell Programming and Scripting
I have an associative array named table
declare -A table
table="fruit"
table="veggie"
table="GT"
table="eminem"
Now say I have a variable returning the value highway
How do I find corresponding value GT ??
(this value that I find (GT in this case) is supposed to be the name of a mysql... (1 Reply)
Discussion started by: leghorn
1 Replies
8. Shell Programming and Scripting
Continuing my quest to learn BASH, Bourne, Awk, Grep, etc. on my own through the use of a few books. I've come to an exercise that has me absolutely stumped.
The specifics:
1. Using ONLY BASH scripting commands (not sed, awk, etc.), write a script to convert a string on the command line to... (22 Replies)
Discussion started by: ksmarine1980
22 Replies
9. Shell Programming and Scripting
Hello together,
i make something wrong... I want an array that contains information to associate it for further processing.
Here is something from my bash... You will know, what I'm trying to do.
I have to point out in advance, that the variable $SYSOS is changing and not as static as in my... (2 Replies)
Discussion started by: Decstasy
2 Replies
10. Shell Programming and Scripting
I am trying to assign indexes to an associative array in a for loop but I have to use an eval command to make it work, this doesn't seem correct I don't have to do this with regular arrays
For example, the following assignment fails without the eval command:
#! /bin/bash
read -d "\0" -a... (19 Replies)
Discussion started by: Riker1204
19 Replies
LEARN ABOUT OPENSOLARIS
proof
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)