I want to write a shell script in order to retreive some data from a log file that i have written into.
The string that i want to get is the number 2849 (that is located between | | ).
To explain further, this is the result i get after running "grep LOGIN filename.log" but i need to get the... (25 Replies)
I have a string I keep appending too upto certain amount of chars.
Is there some sort of way for me to check the string to see if I hit my limit of repeatable characters?
For example, assume I allow for 2 repeatable chars, this will be a valid
string Xxh03dhJUX, so I can append the last... (3 Replies)
Hello,
Sometimes i need to clear all the jobs of a print queue and it is really annoying to cancel one by one.
Is there a way to cancel all print jobs for a specific print queue with a single command instead of cancelling them one by one?
My AIX system is 5.3
Thank you for your attention (2 Replies)
Hi, I'm having trouble with awk print all characters between 2 patterns. I tried more then one solution found on this forum but with no success.
Probably my mistakes are due to the special characters "" and "]"in the search patterns.
Well, have a log file like this:
logfile.txt
... (3 Replies)
Hi All,
This might be a basic question... I need to write a script to find all/any Speacial/Null/Control Chars and Print Line Numbers from an input file.
Output something like
Null Characters in File Name at : Line Numbers
Line = Print the line
Control Characters in File Name at : Line... (2 Replies)
Hi All,
I have a file fo around 15k bytes which i need to insert a string " + "at every 250 bytes.
I found some ideas here using perl to split into lines and tried to addapt it but the results where not satisfactory
for instance i tried to change
#!/usr/bin/perl
$teststring =... (9 Replies)
Hi Guys
Kindly help me on my predicament. I want to get the 7 chars of this filename
I need to get the ALL.cmd from this filehame filename_a_ALL.cmd
Thanks (10 Replies)
For a given string that may contain any ASCII chars, i.e. that matches .*,
find and print only the chars that are in a given subset.
The string could also have numbers, uppercase, special chars such as ~!@#$%^&*(){}\", whatever a user could type in
without going esoteric
For simplicity take... (1 Reply)
Discussion started by: naderra
1 Replies
LEARN ABOUT XFREE86
ctl
CTL(5) CTL file format of ASIM/LIP6/CAO-VLSI lab. CTL(5)NAME
ctl - Control Temporal Logic file format.
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
DESCRIPTION
This document describes the CTL file format used by moka(1) for model checking of finite states machine description.
This CTL file format subset is defined to enable classical CTL formulae description.
A CTL file is made of two parts: a declaration part and a formulae statement part.
The declaration part described types, constants, macros and all variables used in CTL formulae. It also describes assumption conditions
and initial conditions that have to be applied by moka(1) during the model checking.
The formulae statement part described all the CTL formulae that have to be verified.
All boolean and relational VHDL operators are supported (see vbe(5)) and also the 8 CTL operators AF, AG, AX, AU, EF, EG, EX and EU. The
CTL file format support also the imply boolean operator '->' and the equivalence operator '<=>'.
EXAMPLE -- user type definition
TYPE A_ETAT_TYPE IS (A_E0, A_E1);
TYPE B_ETAT_TYPE IS (B_E0, B_E1);
-- variables definition
VARIABLE A_NS, A_CS : A_ETAT_TYPE;
VARIABLE B_NS, B_CS : B_ETAT_TYPE;
VARIABLE ck : BIT;
VARIABLE data_in : BIT;
VARIABLE data_out : BIT;
VARIABLE reset : BIT;
VARIABLE ack : BIT;
VARIABLE req : BIT;
-- example of a macros definition
DEFINE def1 : BOOLEAN := ack='1';
-- the assigned value can be a constant
DEFINE c1 : BIT := '1';
-- the assumption condition
ASSUME ass1 := (reset='0');
-- the initial reset condition
-- be careful, the assumption condition is not applied
-- to the initial conditions.
RESET_COND init1 := (reset='1');
-- It is also possible to describe the first state
-- with the INITIAL keywork, as follows:
--
-- INITIAL init1 := ((A_CS=A_E0) AND (B_CS=B_E0));
--
-- formulae description statement part
begin
prop1 : EX( ack='1' );
prop2 : AG( req -> AF( ack ) );
prop4 : AU( req='1', ack='1');
end;
SEE ALSO moka(1)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 August 5, 2002 CTL(5)